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