Rammig, Franz Josef: The synthesis approach to digital system design / Synthesis related aspects of simulation. In: The synthesis approach to digital system design. Vol.1992. 2009, page 303-334