Practical Elements of Safety Proceedings of the Twelfth Safety-Critical Systems Symposium, Birmingham, Uk, 17-19 February 2004 | EKB DL