Input-Output Specifications of Grid-Forming Functions and Data-Driven Verification Methods. - Jennifer T. Bui; Dominic Groß (CoRR, 2024)