Computer Safety, Reliability, and Security 32nd International Conference, SAFECOMP 2013, Toulouse, France, September 14-27, 2013, Proceedings - Bitsch, Friedemann. (Springer Berlin Heidelberg : Imprint: Springer, 2013)