Stuart Anderson Massimo Felici Bev Littlewood Computer Safety, Reliability, and Security, 22nd International Conference, SAFECOMP 2003, Edinburgh, UK, September 23-26, 2003, Proceedings SAFECOMP Lecture Notes in Computer Science 2788 Springer 2003 3-540-20126-2 db/conf/safecomp/safecomp2003.html