Specification Mining for Asynchronous Controllers | Publicación