ILP Models for the Synthesis of Asynchronous Control Circuits. - Carmona, Josep; Cortadella, Jordi (2003)