Design of Heartbeat Invalidation Detecting Mechanism in Triple Module Redundant Multi-Machine System | IEEE Conference Publication | IEEE Xplore