Critical Systems: Formal Methods and Automated Verification - Maurice H. ter Beek, Stefania Gnesi, Alexander Knapp (Springer, 2016)