Bücher

  • J. v. Rosen, "A highly dependable, analog multi-core mixe-signal task distribution system", Universität Frankfurt a. M.,urn:nbn:de:hebis:3-379661, 2015 pdf 
  • S. Steinhorst, "Formal verification methodologies for nonlinear analog circuits", Universität Frankfurt a. M.,urn:nbn:de:hebis:30-90615, 2011 pdf 
  • A. Jesser. "Mixed-Signal Circuit Verification Using Symbolic Model Checking Techniques", Universität Frankfurt a. M., ISBN 978-3-89963-841-7, Dr. Hut Verlag, Oktober 2008. 
  • L. Hedrich, Ansätze zur formalen Verifikation analoger Schaltungen, Fortschrittberichte VDI, Reihe 20: Rechnergestützte Verfahren, Nr. 257, VDI Verlag, Düsseldorf, 1997.