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 full version" .