Combining process algebras and Petri nets for the specification and synthesis of asynchronous circuits | Publicación