Automatic synthesis and optimization of partially specified asynchronous systems | Publicación