Computer safety, reliability, and security : SAFECOMP 2003, Edinburgh, UK, Sept. 23 - 26, 2003 - Thomas, Martyn (Lecture notes in computer science, 2003)