Marco A. Peña, Jordi Cortadella: Combining process algebras and Petri nets for the specification and synthesis of asynchronous circuits. ASYNC 1996: 222-232