An Efficient Voltage-Behind-Reactance Formulation-Based Synchronous Machine Model for Electromagnetic Transients | IEEE Journals & Magazine | IEEE Xplore