Anwendung der Booleschen zeitlichen Ableitung zur Timing-Verifikation synchroner digitaler Schaltungen / Torsten Schleinig. Düsseldorf : VDI-Verl., 1995