A Simulink State-Space Model of Induction Machines Including Magnetizing-Flux Saturation