{TAIL ~ The disclosure} relates generally to triple mode redundant state machines and {HEAD ~ method} and systems for designing TMR state machines 
{ TAIL ~ The disclosure } relates generally to triple mode redundant state machines and { HEAD ~ method } and systems for designing TMR state machines
TAIL TAIL TAIL TAIL TAIL TAIL OTH OTH OTH OTH OTH OTH OTH OTH OTH HEAD HEAD HEAD HEAD HEAD OTH OTH OTH OTH OTH OTH OTH