Computer Safety, Reliability, and Security : 22nd International Conference, SAFECOMP 2003, Edinburgh, UK, September 23-26, 2003, Proceedings - Stuart Anderson, Massimo Felici, Bev Littlewood ((Lecture Notes in Computer Science))