Matthias Krause: Automatisierte Erstellung und Verfeinerung virtueller Prototypen für den Entwurf verteilter eingebetteter Systeme. Eberhard Karls University of Tübingen 2011, ISBN 978-3-86853-887-8, 1-208