Mendels: Concurrent program synthesis system using temporal logic | Publicación