Synchronizable Test Sequences of Finite State Machines. - Kuo-Chung Tai; Yu-Chiou Young (Comput. Networks, 1998)