Title: Methods, Models and Tools for Fault Tolerance