Formal and Simulation Methods Unite to Rescue the Damsel in Distress –“Unclassified Faults”