Verifying real-time properties of MOS-transistor circuits | IEEE Conference Publication | IEEE Xplore