Frequency domain analysis of DC-DC converters using a symbolic approachProceedings of ISCAS'95 - International Symposium on Circuits and Systems