Encoded finite-state machines for non-concurrent error detection and identification | IEEE Conference Publication | IEEE Xplore