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.
Hybrid systems: computation and control ; 11th international workshop, HSCC 2008, St. Louis, MO, USA, April 22-24, 2008 ; proceedings Berlin [u.a.], 2008 S. 172 - 186