Engineering dependable software systems - Broy, M., 1949-; Kalus, Georg; Peled, Doron, 1962- (NATO science for peace and security series. Information and communication security, 2013)