Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und SystemenDaniel GroßeÉpuisé4,3Prévenez-moi