Auch als elektronisches Dokument verfügbar: http://seshome.informatik.uni-oldenburg.de/~tino/papers/KupferschmidEtAl_MBMV09.pdf
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen Berlin : Univ.-Verl. der TU, 2009 (2009), Seite 27-36 VI, 248 S.