Improvements in System Safety Proceedings of the Sixteenth Safety-critical Systems Symposium, Bristol, UK, 5-7 February 2008 | EKB DL