Efficient Explicit Representation of AC Machines Main Flux Saturation in State-Variable-Based Transient Simulation Packages | IEEE Journals & Magazine | IEEE Xplore