Marco A. Peña Jordi Cortadella Alexander B. Smirnov Enric Pastor A Case Study for the Verification of Complex Timed Circuits: IPCMOS. 44-53 2002 conf/date/2002 DATE http://csdl.computer.org/comp/proceedings/date/2002/1471/00/14710044abs.htm db/conf/date/date2002.html#PenaCSP02