Computer Safety, Reliability, and Security : 19th International Conference, SAFECOMP 2000, Rotterdam, The Netherlands, October 24-27, 2000 Proceedings - Floor Koornneef, Meine Meulen ((Lecture Notes in Computer Science))