Electromagnetic Transient Modeling of Asynchronous Machine in Modelica, Accuracy, and Performance Assessment | IEEE Journals & Magazine | IEEE Xplore