Text this: Hazard-Based Detection Conditions for Improved Transition Path Delay Fault Coverage.