Martin Freibothe, Jens Döge, Torsten Coym, Stefan Ludwig, Bernd Straube, Ernst Kock. Modellierung des dynamischen Verhaltens nichtlinearer analoger Komponenten für die semi-formale Mixed-Signal-Verifikation. In Bernd Straube, Martin Freibothe, editors, Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Dresden, Germany, February 20-22, 2006. pages 95-105, Fraunhofer Institut für Integrierte Schaltungen, 2006.