Computer Safety, Reliability, and Security : 31st International Conference, SAFECOMP 2012, Magdeburg, Germany, September 25-28, 2012, Proceedings - Frank Ortmeier, Peter Daniel ((Lecture Notes in Computer Science))