Mode-Based Reactive Synthesis | Publicación