Encoding Large Asynchronous Controllers With ILP Techniques | Publicación