Improvements in System Safety - Redmill, Felix; Anderson, Tom (Springer London, 2008)