G. Booch, I. Jacobson, and J. Rumbaugh, OMG Unified Modeling Language Specification " , Version 1.3 First Edition, 2000.

R. Miller, Designing Web Services Using UML, BorCon Conference, Agile Processes Workshop, 2003.

T. Bahill and J. Daniels, Using objected-oriented and UML tools for hardware design: A case study, Systems Engineering, vol.26, issue.1, pp.28-48, 2003.
DOI : 10.1002/sys.10033

G. Gigante and D. Pascarella, Formal Methods in Avionic Software Certification: The DO-178C Perspective, Lecture Notes in Computer Science, vol.7610, pp.205-215, 2012.
DOI : 10.1007/978-3-642-34032-1_21

T. M. Ravich, The integration of unmanned aerial vehicles into the national airspace, pp.85-88, 2010.

R. W. Jacobs, Model-Driven Development of Command and Control Capabilities For Joint and Coalition Warfare, Command and Control Research and Technology Symposium, 2004.

A. Horváth, D. Varró, and T. Schoofs, Model-driven development of ARINC 653 configuration tables, IEEE/AIAA 29th Digital Avionics Systems Conference (DASC), 2010.

H. Dubois, V. Ibanez, C. Lopez, J. Machrouh, N. Meledo et al., The product line engineering approach in a model-driven process, 2012.

V. Wiels, R. Delmas, D. Doose, P. Garoche, J. Cazin et al., Formal Verification of Critical Aerospace Software, AerospaceLab Journal, 2012.
URL : https://hal.archives-ouvertes.fr/hal-01184099

A. Varet and N. Larrieu, New methodology to develop certified safe and secure aeronautical software ? an embedded router case study, 30 th digital avionics systems conference (DASC), 2011.
URL : https://hal.archives-ouvertes.fr/hal-01022284

A. Varet and N. Larrieu, Design and development of an embedded aeronautical router with security capabilities, 2012 Integrated Communications, Navigation and Surveillance Conference, 2012.
DOI : 10.1109/ICNSurv.2012.6218391
URL : https://hal.archives-ouvertes.fr/hal-01022283

N. Izerrouken, X. Thirioux, M. Pantel, and M. Strecker, Design and Development of an embedded aeronautical, Certifying an Automated Code Generator Using Formal Tools: Preliminary Experiments in the GeneAuto Project, European Congress on Embedded Real-Time Software (ERTS), 2010.

C. Rajabhushanam and A. , Survey of Wireless MANET Application in Battlefield Operations, International Journal of Advanced Computer Sciences and Applications, p.1, 2011.