Rune Winther Bjørn Axel Gran Gustav Dahll Computer Safety, Reliability, and Security, 24th International Conference, SAFECOMP 2005, Fredrikstad, Norway, September 28-30, 2005, Proceedings 3688 2005 3-540-29200-4 SAFECOMP Lecture Notes in Computer Science Springer db/conf/safecomp/safecomp2005.html