Frédéric Béal Tomohiro Yoneda Chris J. Myers Hazard Checking of Timed Asynchronous Circuits Revisited. 51-60 2007 conf/acsd/2007 ACSD http://doi.ieeecomputersociety.org/10.1109/ACSD.2007.52 db/conf/acsd/acsd2007.html#BealYM07