ILP models for the synthesis of asynchronous control circuits | Publicación