Computer safety, reliability, and security : 31st international conference,SAFECOMP 2012, Magdeburg, Germany, September 25-28, 2012 : proceedings - Ortmeier, Frank, editor ([, Springer-Verlag], 2012)