Software systems safety - Grumberg, Orna; Seidl, Helmut; Irlbeck, Maximilian (NATO Science for Peace and Security Series, 2014)