"Logic Simulation Using Networks of State Machines."

Peter M. Maurer (2000)
a service of Schloss Dagstuhl - Leibniz Center for Informatics