, Annex 8 -Airworthiness of Aircraft. International Civil Aviation Organization, 2018.

, Easy Access Rules for Air Operations (Regulation (EU) No 965/2012). European Union Aviation Safety Agency, 2019.

. Airbus,

, A318/A319/A320/A321 Flight Crew Training Manual, 2002.

. Airbus,

, A318/A319/A320/A321 Performance Training Manual, 2006.

. Airbus, Airbus A320 -Front Panel, 2007.

Y. A. Ameur, F. Boniol, and W. V. , Toward a wider use of formal methods for aerospace systems design and verification, International Journal on Software Tools for Technology Transfer, vol.12, pp.1-7, 2009.

C. André, Syntax and Semantics of the Clock Constraint Specification Language (CCSL), INRIA, 2009.

F. Boulanger, C. Hardebolle, C. Jacquet, and D. Marcadet, Semantic adaptation for models of computation, 2011 Eleventh International Conference on Application of Concurrency to System Design, pp.153-162, 2011.
URL : https://hal.archives-ouvertes.fr/hal-00605273

F. Boulanger, C. Jacquet, C. Hardebolle, and P. I. , TESL: a language for reconciling heterogeneous execution traces, Formal Methods and Models for Codesign (MEMOCODE), 2014.
URL : https://hal.archives-ouvertes.fr/hal-01100179

, Twelfth ACM/IEEE International Conference on, pp.114-123, 2014.

, Cessna Aircraft Company. Cessna Skyhawk Information Manual

B. Chhaya, S. Jafer, and U. Durak, Formal verification of simulation scenarios in aviation scenario definition language (asdl), Aerospace, vol.5, p.1, 2018.

G. Durrieu, H. Waeselynck, and V. Wiels, Leto -a Lustre-based test oracle for airbus critical systems, Formal Methods for Industrial Critical Systems, pp.7-22, 2009.

J. Eker, J. J. , L. E. Liu, J. Liu, X. Ludvig et al., Taming heterogeneity -the Ptolemy approach, Proceedings of the IEEE, vol.91, issue.1, pp.127-144, 2003.

T. K. Ferrell, U. D. Ferrell, and . Do-178c/eurocae-ed-12c, Digital Avionics Handbook, pp.16-17, 2017.

R. Garcia and L. Barnes, Multi-UAV simulator utilizing X-Plane, Journal of Intelligent and Robotic Systems, vol.57, issue.1, p.393, 2009.

P. Goupil, R. Dayre, and P. Brot, From theory to flight tests: Airbus flight control system TRL5 achievements, IFAC Proceedings Volumes, vol.47, pp.10562-10567, 2014.

N. Halbwachs, P. Caspi, P. Raymond, and D. Pilaud, The synchronous data flow programming language lustre, Proceedings of the IEEE, vol.79, pp.1305-1320, 1991.

Y. Hildenbrand, ED-247 (VISTAS) gateway for hybrid test systems, SAE Technical Paper, 2018.

D. Jung and T. P. , Modeling and hardwarein-the-loop simulation for a small unmanned aerial vehicle, AIAA Infotech@ Aerospace 2007 Conference and Exhibit, p.2768, 2007.

P. Ladkin, Analysis of a technical description of the Airbus A320 braking system, High Integrity Systems, vol.1, pp.331-350, 1995.

L. E. Sangiovanni-vincentelli and A. L. , The tagged signal model a preliminary version of a denotational framework for comparing models of computation

. M96/33 and . Department, , 1996.

J. O. Linton, The physics of flight: I. fixed and rotating wings, Physics Education, vol.42, p.351, 2007.

X. Liu, J. Liu, J. Eker, and L. E. , Heterogeneous Modeling and Design of Control Systems, pp.105-122, 2005.

C. Livadas, J. Lygeros, and N. A. Lynch, High-level modeling and analysis of the traffic alert and collision avoidance system (TCAS), Proceedings of the IEEE, vol.88, pp.926-948, 2000.

F. Mallet, Clock constraint specification language: specifying clock constraints with UML/Marte, novations in Systems and Software Engineering, vol.4, pp.309-314, 2008.

R. Milner, M. Tofte, and D. Macqueen, The Definition of Standard ML, 1997.

N. Van, H. Balabonski, T. Boulanger, F. Keller, C. Valiron et al., A symbolic operational semantics for TESL -with an application to heterogeneous system testing, Formal Modeling and Analysis of Timed Systems -15th International Conference, pp.318-334, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01583815

N. Van, H. Boulanger, F. Wolff, and B. , A formal development of a polychronous polytimed coordination language. Archive of Formal Proofs, 2019.

T. Nipkow and G. Klein, Concrete Semantics: With Isabelle/HOL, 2014.

T. Nipkow, M. Wenzel, and P. L. , Isabelle/HOL: A Proof Assistant for Higher-order Logic, 2002.

A. Pnueli, The temporal logic of programs, 18th Annual Symposium on Foundations of Computer Science, pp.46-57, 1977.

C. Ptolemaeus and E. , System Design, Modeling, and Simulation using Ptolemy II, Ptolemy.org, 2014.

R. Do-178c, Software Considerations in Airborne Systems and Equipment Certification, RTCA Inc, 1992.

M. A. Sánchez-puebla and C. J. , A new approach for distributed computing in avionics systems, Proceedings of the 1st international symposium on Information and communication technologies, pp.579-584, 2003.

, Digital Avionics Handbook. Electrical engineering handbook series, 2015.

P. Traverse, Airbus electrical flight controls: A family of fault-tolerant systems, Digital Avionics Handbook, pp.31-32, 2015.

M. E. Vara-larsen, J. Deantoni, B. Combemale, and F. Mallet, A behavioral coordination operator language (BCOoL), 18th International Conference on Model Driven Engineering Languages and Systems, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01182773

S. Weeks, Whole-program compilation in MLton, Proceedings of the 2006 Workshop on ML, pp.1-1, 2006.

R. E. Weibel and R. J. Hansman, Safety considerations for operation of unmanned aerial vehicles in the national airspace system, 2006.

S. Westrick, R. Yadav, M. Fluet, and A. U. , Disentanglement in nested-parallel programs, Proc. ACM Program. Lang. 4, POPL, 2019.