Dependable software systems engineering - Irlbeck, Maximilian. (IOS Press,)