Software hazards:
Software hazards:
1. Coil Status flag
2. Current update limit threshold
3. Current Bounds threshold
Result: By perturbing the current after it was computed using EPA, we were able to force a hazard to occur, and that led us to a defective safety monitor