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