Interactive Simulation and Verification SIMULINK Models for DC-DC Switching Converter Circuits using PWM Control ICs | IEEE Conference Publication | IEEE Xplore