Title: Beiträge zu Beschreibungstechniken für Entwurf und Simulation von digitalen Systemen