Nicolas Halbwachs Louis Mandel Simulation and Verification of Asynchronous Systems by means of a Synchronous Model. 3-14 2006 conf/acsd/2006 ACSD http://doi.ieeecomputersociety.org/10.1109/ACSD.2006.24 db/conf/acsd/acsd2006.html#HalbwachsM06