Validation of Fault Tolerance and Timing Properties Validation of Fault Tolerance and Timing Properties