Improving symbolic analysis in CMOS analog integrated circuits. - Jorge Aguila-Meza; Leticia Torres-Papaqui; Esteban Tlelo-Cuautle (ISCAS (5), 2004)