A. Bailas Larry L. Kinney Evaluation of a concurrent error detection method for microprogrammed control units. 1-10 1988 conf/micro/1988 MICRO http://doi.acm.org/10.1145/62504.62507 db/conf/micro/micro1988.html#BailasK88