Symbolic Analysis of Switched Analog Circuits | part of Symbolic Analysis Techniques: Applications to Analog Design Automation | Wiley-IEEE Press books | IEEE Xplore