Massimo Felici Karama Kanoun Alberto Pasquini Computer Safety, Reliability and Security, 18th International Conference, SAFECOMP'99, Toulouse, France, September, 1999, Proceedings SAFECOMP Lecture Notes in Computer Science 1698 Springer 1999 3-540-66488-2 db/conf/safecomp/safecomp99.html