Dependable software systems engineering - Irlbeck, Maximilian.; Peled, Doron.; Pretschner, Alexander. (IOS Press,, 2015)