Software systems safety - Grumberg, Orna.; Seidl, Helmut; Irlbeck, Maximilian. (IOS Press, 2014)