Computer Safety, Reliability, and Security 22nd International Conference, SAFECOMP 2003, Edinburgh, UK, September 23-26, 2003, Proceedings - Anderson, Stuart; Anderson, Stuart; Felici, Massimo; Felici, Massimo; Littlewood, Bev; Littlewood, Bev (Springer Berlin Heidelberg : Imprint: Springer, 2003)