Safety and Availability Considerations in a Triple Modular Redundant Time Diverse System with Over- Voltage Detection | IEEE Conference Publication | IEEE Xplore