Floor Koornneef Meine van der Meulen Computer Safety, Reliability and Security, 19th International Conference, SAFECOMP 2000, Rotterdam, The Netherlands, October 24-27, 2000, Proceedings SAFECOMP Lecture Notes in Computer Science 1943 Springer 2000 3-540-41186-0 db/conf/safecomp/safecomp2000.html