Transient Stability of Power Grids Comprising Wind Turbines: New Formulation, Implementation, and Application in Real-Time Assessment | IEEE Journals & Magazine | IEEE Xplore