Circuit simulation models for MOS-gated power devices: application to the simulation of an electronic lamp ballast circuit | IEEE Conference Publication | IEEE Xplore