Modeling of Grid-Forming Inverters for Transient Stability Simulations of an all Inverter-based Distribution System | Synapse