Computer Safety, Reliability, and Security : 32nd International Conference, SAFECOMP 2013, Toulouse, France, September 14-27, 2013, Proceedings - Friedemann Bitsch, Jérémie Guiochet, Mohamed Kaâniche ((Lecture Notes in Computer Science))