Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen MBMV 2014 - Ruf, Jürgen (Cuvillier, 2014)
Beitr. teilw. dt., teilw. engl. - Literaturangaben