Modeling of saturated AC machines including air gap flux harmonic components | IEEE Journals & Magazine | IEEE Xplore