Computer Safety, Reliability and Security : 21st International Conference, SAFECOMP 2002, Catania, Italy, September 10-13, 2002. Proceedings - Stuart Anderson, Massimo Felici, Sandro Bologna ((Lecture Notes in Computer Science))