Computer Safety, Reliability, and Security - Flammini, Francesco; Bologna, Sandro; Kanade, Takeo; Vittorini, Valeria (Springer Berlin Heidelberg, 2011)