Including Magnetic Saturation in Voltage-Behind-Reactance Induction Machine Model for EMTP-Type Solution | IEEE Journals & Magazine | IEEE Xplore