"A Fast State Assignment Procedure for Large FSMs."

Shihming Liu, Massoud Pedram, Alvin M. Despain (1995)
a service of Schloss Dagstuhl - Leibniz Center for Informatics