Email Record: Sequential optimization of asynchronous and synchronous finite-state machines :