Synthesis of Reactive Systems: Application to Asynchronous Circuit Design | Publicación