Modeling and simulation of power converter systems using SystemC system-level description language | IEEE Conference Publication | IEEE Xplore