Ansätze zur formalen Verifikation analoger Schaltungen - Hedrich, Lars (Fortschritt-Berichte VDI. @Reihe 20, Rechnerunterstützte Verfahren, 1997)