E. Tlelo-Cuautle and J. Aguila-Meza, “ENHANCING THE SYMBOLIC ANALYSIS OF ANALOG CIRCUITS”, JART, vol. 3, no. 02, Aug. 2005.