Computer Safety, Reliability and Security 21st International Conference, SAFECOMP 2002, Catania, Italy, September 10-13, 2002. Proceedings - Anderson, Stuart; Anderson, Stuart; Bologna, Sandro; Bologna, Sandro; Felici, Massimo; Felici, Massimo (Springer Berlin Heidelberg : Imprint: Springer, 2002)