Beschreibungsmittel und Werkzeuge für Spezifikationen heterogener Systeme.