Software and systems safety specification and verification - Broy, Manfred; Leuxner, Christian; Hoare, A. G. (NATO science for peace and security series. Information and communication security, 2011)