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