Ansätze zur formalen Verifikation analoger Schaltungen / Lars Hedrich. Düsseldorf : VDI-Verl., 1997