Dependable Computing - Bondavalli, Andrea; Brasileiro, Francisco; Brasileiro, Francisco Vilar; Kanade, Takeo; Rajsbaum, Sergio; Kittler, Josef (Springer Berlin Heidelberg, 2007)