Critical Systems: Formal Methods and Automated Verification - Petrucci (Springer International Publishing, 2017)