Book Current Issues In Safety Critical Systems: Proceedings Of The Eleventh Safety Critical Systems Symposium, Bristol, Uk, 4–6 February 2003