Pargmann, Hergen (1998) COMDES: Simulations- undVerifikationstechiken für den Hardware Entwurf auf Systemebene. PhD, Universität Oldenburg.