Achieving systems safety : proceedings of the Twentieth Safety-Critical Systems Symposium, Bristol, UK, 7-9th February 2012 - Dale, Chris 1953-; Anderson, Tom 1947- (Springer, 2012)