Dominique Borrione Menouer Boubekeur Laurent Mounier Marc Renaudin Antoine Sirianni Validation of asynchronous circuit specifications using IF/CADP. 86-91 2003 conf/vlsi/2003soc VLSI-SOC db/conf/vlsi/vlsisoc2003.html#BorrioneBMRS03