Achieving Systems Safety Proceedings of the Twentieth Safety-Critical Systems Symposium, Bristol, UK, 7-9th February 2012 - Dale, Chris; Anderson, Tom (Springer London, 2012)