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