Jesper B. Møller Henrik Hulgaard Henrik Reif Andersen Timed Verification of Asynchronous Circuits. 274-312 2002 conf/ac/2002chd Concurrency and Hardware Design http://link.springer.de/link/service/series/0558/bibs/2549/25490274.htm db/conf/ac/chd2002.html#MollerHA02