Software systems safety - Grumberg, Orna; Seidl, Helmut; Irlbeck, Maximilian (IOS Press, 2014)
Description based on print version record