Stav dette: Sequential optimization of asynchronous and synchronous finite-state machines : algorithms and tools / Robert M. Fuhrer, Steven M. Nowick.