Dependable Computing - Vieira (Springer Berlin Heidelberg, 2013)