Hergen Pargmann: COMDES: Simulations- und Verifikationstechniken für den Hardware-Entwurf auf Systemebene. Carl von Ossietzky University of Oldenburg 1997, 1-199