Co-simulation PSIM-ModelSim oriented to digitally controlled switching power converters | IEEE Conference Publication | IEEE Xplore