"Symbolic analysis of analog circuits with hard nonlinearity."

Alicia Manthe, Zhao Li, C.-J. Richard Shi (2003)
a service of Schloss Dagstuhl - Leibniz Center for Informatics