A Case Study for the Verification of Complex Timed Circuits: IPCMOS | Publicación