Phasor-Domain Short-Circuit Analysis of Power Transmission Systems in the Presence of Inverter-Based Resources