Heinkel, U.2022-03-022022-03-022015978-3-00-048889-4https://publica.fraunhofer.de/handle/publica/158115Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, MBMV 2015. Tagungsband