Funktionelle Verifikation synchroner, digitaler Systeme. - Uwe Knoth; Christoph Zimmermann (1991)