A new model of saturated synchronous machines for power system transient stability simulations | IEEE Journals & Magazine | IEEE Xplore