Davide Di Ruscio, Ivano Malavolta, Patrizio Pelliccione, Massimo Tivoli: Automatic generation of detailed flight plans from high-level mission descriptions. MoDELS 2016: 45-55