SDL 2007: Design for Dependable Systems - Gaudin, Emmanuel; Kanade, Takeo; Najm, Elie; Reed, Rick; Kittler, Josef (Springer Berlin Heidelberg, 2007)