Critical Systems: Formal Methods and Automated Verification - Laure Petrucci, Cristina Seceleanu, Ana Cavalcanti (Springer, 2017)