Symbolic analysis for analog circuit design automation - Seda, Steven J. (1993)