SSC-a tool for the synthesis of testable sequential machines. - Rafic Z. Makki; J. Muha; Silvio Bou-Ghazale; T. Kaylani (Compcon, 1990)