Transient Stability Analysis of Power Systems with Multiple Grid-forming Voltage Source Converters Using Reduced-order Modeling Method | Synapse