Self-checking FSM design with observing only FSM outputs | IEEE Conference Publication | IEEE Xplore