Symbolic Techniques in DC-DC Converter Simulation | IEEE Conference Publication | IEEE Xplore