Computer Safety, Reliability, and Security 33rd International Conference, SAFECOMP 2014, Florence, Italy, September 10-12, 2014. Proceedings - Bondavalli, Andrea; Di Giandomenico, Felicita (Springer International Publishing : Imprint: Springer, 2014)