Tool-basierte Validierung von Systemanforderungen eines elektrisch angetriebenen Luftfahrzeugs / L. Hein, P. Panchal, D. Surmann, S. Myschik, Universität der Bundeswehr München, Institut für Aeronautical Engineering, Werner-Heisenberg-Weg 39, 85577 Neubiberg, Deutschland ; Deutscher Luft- und Raumfahrtkongress 2023