Martin Hall-May: Ensuring safety of systems : a policy-based approach. University of York, UK 2007