ILP Models for the Synthesis of Asynchronous Control Circuits | Publicación