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