Filip Pröstl Andrén, Catalin Gavriluta, Denis Vettoretti, Marco Mittelsdorf: Automated Cyber-Physical Validation Framework for Rapid Development of Smart Grid Controls. IECON 2024: 1-6