Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen: 3. ITG/GI/GMM-Workshop der Fachgruppen 3 und 4 der Schaltungs- und Systementwurf