Models for induction machines with magnetic saturation of the main flux path | IEEE Conference Publication | IEEE Xplore