Discrete-time modeling of switching converters including intra-cycle waveform propagation | IEEE Conference Publication | IEEE Xplore