A. Allouch, A. Koubaa, M. Khalgui, and T. Abbes, Qualitative and quantitative risk analysis and safety assessment of unmanned aerial vehicles missions over the internet, IEEE Access, vol.7, pp.53392-53410, 2019.

S. H. Alsamhi, O. Ma, M. S. Ansari, and F. A. Almalki, Survey on collaborative smart drones and internet of things for improving smartness of smart cities, IEEE Access, vol.7, pp.128125-128152, 2019.

W. Atkinson, Drones Are Gaining Popularity, 2018.

E. M. Clarke, E. A. Emerson, and A. P. Sistla, Automatic verification of finite-state concurrent systems using temporal logic specifications, ACM Transactions on Programming Languages and Systems (TOPLAS), vol.8, issue.2, pp.244-263, 1986.

K. Dong, Q. Quan, and W. M. Wonham, Failsafe Mechanism Design for Autonomous Aerial Refueling using State Tree Structures, Unmanned Systems, vol.7, issue.04, pp.261-279, 2019.

, ISO 13849-1. safety of machinery, safety-related parts of control systems, part 1: General principles for design, International Organization for Standardization, 2006.

M. Khalgui, NCES-based modelling and CTL-based verification of reconfigurable embedded control systems, Computers in Industry, vol.61, issue.3, pp.198-212, 2010.

A. Koubâa, A. Allouch, M. Alajlan, Y. Javed, A. Belghith et al., Micro Air Vehicle Link (MAVLink) in a Nutshell: A Survey, IEEE Access, vol.7, pp.87658-87680, 2019.

F. Mhenni, N. Nguyen, and J. Y. Choley, Safesyse: A safety analysis integration in systems engineering approach, IEEE Systems Journal, vol.12, issue.1, pp.161-172, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01464077

M. Naija and S. B. Ahmed, Using NCES for Modeling and Validating Dynamic Adaptation, 2016.

M. Naija, S. B. Ahmed, and J. M. Bruel, New schedulability analysis for real-time systems based on MDE and petri nets model at early design stages, 10th International Joint Conference on Software Technologies (ICSOFT), vol.1, pp.1-9, 2015.

M. Naija, J. M. Bruel, and S. B. Ahmed, Towards a MARTE extension to address adaptation mechanisms, 2016 IEEE 17th International Symposium on High Assurance Systems Engineering (HASE), pp.240-243, 2016.
URL : https://hal.archives-ouvertes.fr/hal-02348228

P. Neff and K. E. Garman, Identifying and mitigating human factors errors in unmanned aircraft systems, 16th AIAA Aviation Technology, Integration, and Operations Conference, p.3593, 2016.

M. Rausch and H. M. Hanisch, Net condition/event systems with multiple condition outputs, Proceedings 1995 INRIA/IEEE Symposium on Emerging Technologies and Factory Automation. ETFA'95, vol.1, pp.592-600, 1995.

S. Sankararaman, Towards a computational framework for autonomous decision-making in unmanned aerial vehicles, Aiaa information systemsaiaa infotech@ aerospace, p.446, 2017.

D. Sanz, J. Valente, J. Del-cerro, J. Colorado, and A. Barrientos, Safe operation of mini UAVs: a review of regulation and best practices, Advanced Robotics, vol.29, issue.19, pp.1221-1233, 2015.

V. Vyatkin, Modelling and verification of discrete control systems, 2007.

J. Zhang, H. J. Goldsby, and B. H. Cheng, Modular verification of dynamically adaptive systems, Proceedings of the 8th ACM international conference on Aspect-oriented software development, pp.161-172, 2009.

J. Zhang, M. Khalgui, Z. Li, O. Mosbahi, and A. M. Al-ahmari, R-TNCES: A novel formalism for reconfigurable discrete event control systems, IEEE Transactions on Systems, Man, and Cybernetics: Systems, vol.43, issue.4, pp.757-772, 2013.