Beschreibungsmittel und Werkzeuge für Spezifikationen heterogener Systeme. - Tom Barthel; Dietmar Müller 001; Jan Pauliuk (MBMV, 1999)