Computer Safety, Reliability, and Security 32nd International Conference, SAFECOMP 2013, Toulouse, France, September 24-27, 2013. Proceedings - Bitsch, Friedemann; Guiochet, Jérémie; Kaâniche, Mohamed (Springer Berlin Heidelberg : Imprint: Springer, 2013)