Computer safety, reliability and security : 19th International Conference, SAFECOMP 2000 : Rotterdam, The Netherlands, October 24-27, 2000 : proceedings - Koornneef, Floor, 1950-; Meulen, Meine van der (Lecture notes in computer science ;, 2000)