Generalized computer-aided discrete time domain modeling and analysis of DC-DC converters | IEEE Conference Publication | IEEE Xplore