A Digital Twin Setup for Safety-aware Optimization of a Cyber-physical System. - Jalil Boudjadar; Martin Tomko 003 (ICINCO, 2022)