Oppenheimer, F.2022-03-022022-03-022011978-3-00-033820-5https://publica.fraunhofer.de/handle/publica/15177614. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen 2011