Implemented TMR with first failure detection.