Dependable software systems engineering - Irlbeck, Maximilian; Peled, Doron; Pretschner, Alexander (NATO science for peace and security series. Information and communication security ;, 2015)