You are about to access our book library "Computer Safety, Reliability and Security: 20th International Conference, SAFECOMP 2001, Budapest, Hungary, September 26-28, 2001 Proceedings (Lecture Notes in Computer Science, 2187) full version" .