A saturating lumped-parameter model for an interior PM synchronous machine | IEEE Journals & Magazine | IEEE Xplore