Memory Compact and Computationally Efficient Methods for Modeling Saturation in Synchronous Machines | IEEE Conference Publication | IEEE Xplore