Synthesizing Finite State Machines for Minimum Length Synchronizing Sequence Using Partial Scan

Ning Jiang, Richard M. Chou, Kewal K. Saluja. Synthesizing Finite State Machines for Minimum Length Synchronizing Sequence Using Partial Scan. In FTCS. pages 41-49, 1995.