Tlelo-Cuautle, E.; Aguila-Meza, J. ENHANCING THE SYMBOLIC ANALYSIS OF ANALOG CIRCUITS. JART 2005, 3.