Fern¿ndez Symbolic Analysis Techniques: Applications to Analog Design Automation - IEEE 1998 Source: EBOOK