Design and experimental verification of a direct-drive interior PM synchronous machine using a saturable lumped-parameter model | IEEE Conference Publication | IEEE Xplore