A Model-Oriented Framework for UAV Requirements Definition and Mission Simulation. - Ekpemiro Kelechi; Mikhail Belov (SoSE, 2025)