The use of a formal optimisation procedure in automatic parameter extraction of power semiconductor devices | IEEE Conference Publication | IEEE Xplore