Simulation-Driven Methodology for the Requirements Verification and Safety Assessment of Innovative Flight Control Systems Kreitz, Tobias Bornholdt, Riko Krings, Matthias Henning, Karsten Thielecke, Frank 2015 - TUHH Open Research