A Library of High-Level Models for the Simulation of DC-DC Converters