Synthesis of On-Line Testing Control Units: Flow Graph Coding/Monitoring Approach. - Serge N. Demidenko; Eugene M. Levine; Vincenzo Piuri (DFT, 2000)