Methods, Models and Tools for Fault Tolerance (Springer, 2017)