Constant-Parameter Voltage-Behind-Reactance Synchronous Machine Models Considering Main Flux Saturation for EMTP-Type Programs | IEEE Journals & Magazine | IEEE Xplore