Anh Vu Dihn Duc Laurent Fesquet Marc Renaudin Synthesis of QDI Asynchronous Circuits from DTL-Style Petri-Net. 191-196 2002 IWLS db/conf/iwls/iwls2002.html#DucFR02