Symbolic Analysis Techniques: Applications to Analog Design Automation | IEEE eBooks | IEEE Xplore