Modeling and simulation of a superconducting magnetic energy storage based multi-machine power system for transient stability study | IEEE Conference Publication | IEEE Xplore