Software systems safety - Grumberg, Orna; Seidl, Helmut; Irlbeck, Maximilian (NATO science for peace and security series, 2014)