Computer Safety, Reliability, and Security - Bondavalli; Di Giandomenico, Felicita (Springer International Publishing, 2014)