2022-03-022022-03-0219983-931466-35-3https://publica.fraunhofer.de/handle/publica/134628Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen. GI-ITG-GMM Workshop