Engineering dependable software systems - NATO Advanced Study Institute on Engineering Dependable Software Systems (2012 : Marktoberdorf, Germany); Broy, Manfred; Peled, Doron; Kalus, Georg (IOS Press, 2013)