Anwendungsmöglichkeiten von Bounded Model Checking und affiner Arithmetik für die Verifikation von Analogschaltungen. - Andreas Ehrenfried; Daniel Scholz; Tobias Welp (MBMV, 2006)