A Library of High-Level Models for the Simulation of DC-DC Converters | IEEE Conference Publication | IEEE Xplore