On concurrent error detection with bounded latency in FSMs | IEEE Conference Publication | IEEE Xplore