Computer Safety, Reliability, and Security : 26th International Conference, SAFECOMP 2007, Nurmberg, Germany, September 18-21, 2007, Proceedings - Francesca Saglietti, Norbert Oster ((Lecture Notes in Computer Science))