Dependable Computing - Bondavalli, Andrea (Springer Berlin Heidelberg, 2020)