Modeling of Induction Machines Using a Voltage-Behind-Reactance Formulation | IEEE Journals & Magazine | IEEE Xplore