Computer Safety, Reliability, and Security - Górski, Janusz; Gaorski, Janusz; Kanade, Takeo; Kittler, Josef (Springer Berlin Heidelberg, 2006)