Current Issues in Safety-Critical Systems: Proceedings of the Eleventh Safety-Critical Systems Symposium, Bristol, UK, 4-6 February 2003 by Redmill, Felix | Menrva Books