Yasser Sedaghat, Seyed Ghassem Miremadi. An FSM-based monitoring technique to differentiate between follow-up and original errors in safety-critical distributed embedded systems. Microelectronics Journal, 42(6):863-873, 2011. [doi]
Abstract is missing.