A Unified Approach for the Synthesis of Self-Testable Finite State Machines.

Bernhard Eschermann Hans-Joachim Wunderlich A Unified Approach for the Synthesis of Self-Testable Finite State Machines. 372-377 1991 DAC http://doi.acm.org/10.1145/127601.127697 db/conf/dac/dac91.html#EschermannW91