Computer Safety, Reliability, and Security 31st International Conference, SAFECOMP 2012, Magdeburg, Germany, September 25-28, 2012. Proceedings - Ortmeier, Frank; Daniel, Peter (Springer Berlin Heidelberg : Imprint: Springer, 2012)