Modeling of a Dual-Stator-Winding Induction Machine Including the Effect of Main Flux Linkage Magnetic Saturation | IEEE Journals & Magazine | IEEE Xplore