Email Record: Design, Modeling, and Validation of Grid-Forming Inverters for Frequency Synchronization and Restoration