Formal and Simulation Methods Unite to Rescue the Damsel in Distress—Unclassified Faults

Author(s):
Siri Rajanedi, Prashantkumar Ravindra