A Library of High-Level Models for the Simulation of DC-DC Converters. - Thomas Eleftherios Dimitrios Kizas; Lorenzo Crespi; Piero Malcovati; Andrea Baschirotto (LASCAS, 2021)