Pātuhitia tēnei: Achieving systems safety : proceedings of the twentieth Safety-Critical Systems Symposium, Bristol, UK, 7-9th February 2012 / Chris Dale, Tom Anderson, editors.