Practical Elements of Safety Proceedings of the Twelfth Safety-critical Systems Symposium, Birmingham, UK, 17–19 February 2004 - Redmill, Felix; Anderson, Tom (Springer London, 2004)