Computer Safety, Reliability, and Security 26th International Conference, SAFECOMP 2007, Nuremberg, Germany, September 18-21, 2007. Proceedings - Saglietti, Francesca; Oster, Norbert (Springer Berlin Heidelberg, 2007)