Methods, Models and Tools for Fault Tolerance (Springer Berlin Heidelberg, 2020)