You are about to access our book library "Sequential Optimization of Asynchronous and Synchronous Finite-State Machines: Algorithms and Tools full version" .