1. Practical application of SPARK to OpenUxAS. In Formal Methods – The Next 30 Years;Aiello,2019
2. Al Haddad, C. (2018). Identifying the factors afecting the use and adoption of urban air mobility. URL https://mediatum.ub.tum.de/1482026.
3. Real-time risk assessment framework for unmanned aircraft system (UAS) traffic management (UTM);Ancel,2017
4. Blueprint for the sky. The roadmap for the safe integration of autonomous aircraft;Balakrishnan,2018
5. Simulation evaluations of an autonomous urban air mobility network management and separation service;Bosson,2018