Lawrence P. Holmquist;Larry L. Kinney
-;-
Periodic and non-concurrent error detection and identification in one-hot encoded FSMs
Automatica (Journal of IFAC)