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