A Case Study on Modeling Adequacy of a Grid with Subsynchronous Oscillations Involving IBRs | Synapse