Computer Safety, Reliability, and Security 30th International Conference,SAFECOMP 2011, Naples, Italy, September 19-22, 2011. Proceedings - Flammini, Francesco; Bologna, Sandro; Vittorini, Valeria (Springer Berlin Heidelberg : Imprint: Springer, 2011)