Symbolische Testgenerierung aus Verhaltensmodellen beschrieben in VHDL. - Bernd Emshoff (1997)