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