Modeling of Grid-Forming Inverters for Transient Stability Simulations of an all Inverter-based Distribution System | IEEE Conference Publication | IEEE Xplore