Magnetically-Saturable Voltage-Behind-Reactance Synchronous Machine Model for EMTP-Type Solution | IEEE Journals & Magazine | IEEE Xplore