Entwurf und Validierung virtueller Prototypen heterogener eingebetteter Systeme in einer Workstation-Umgebung.