Comparison of Two Magnetic Saturation Models of Induction Machines and Experimental Validation | IEEE Journals & Magazine | IEEE Xplore