Methods, Models and Tools for Fault Tolerance (Lecture