Computer Safety, Reliability, and Security - Buth, Bettina; Kanade, Takeo; Rabe, Gerd; Seyfarth, Till (Springer Berlin Heidelberg, 2009)