Computer Safety, Reliability, and Security - SAFECOMP 2005; Dahll, Gustav; Gran, Bjørn Axel; Kanade, Takeo; Winther, Rune; Gran, Bjoern Axel (Springer Berlin / Heidelberg, 2005)