Applications of symbolic analysis to analog system design | IEEE Conference Publication | IEEE Xplore