SDL 2007: Design for Dependable Systems - Gaudin, Emmanuel (Springer Berlin Heidelberg, 2020)