Computer safety, reliability, and security 26th International Conference, SAFECOMP 2007, Nuremberg, Germany, September 18-21, 2007 ; proceedings (Springer, 2007)