Instruction set modeling of micro-controllers for power converter simulation | IEEE Conference Publication | IEEE Xplore