Grid-Forming IBR Dynamics Models ()