Software system reliability and security - Broy, M. 1949-; Grünbauer, Johannes; Hoare, C. A. R. (Charles Antony Richard) 1934- (IOS Press, 2007)