Methods, Models and Tools for Fault Tolerance