A case study for the verification of complex timed circuits: IPCMOS | Publicación