Dependable Computing - Maziero, Carlos Alberto (Springer Berlin Heidelberg, 2020)