A Simulink state-space model of induction machines including magnetizing-flux saturation | IEEE Conference Publication | IEEE Xplore