This paper discusses an approach that uses statistical observations about the steady-state behavior of a finite state machine (FSM) in order to detect and identify permanent failures in its state transition mechanism. The ...