Computer Safety, Reliability, and Security - Harrison, Michael D.; Kanade, Takeo; Sujan, Mark-Alexander; Kittler, Josef (Springer Berlin Heidelberg, 2008)