T. Stahl, M. Voelter, and K. Czarnecki, Model- Driven Software Development: Technology, Engineering, Management, 2006.

A. Guduvan, H. Waeselynck, V. Wiels, G. Durrieu, M. Schieber et al., A Meta-Model for Tests of Avionics Embedded Systems, Proceedings of MODELSWARD 2013 ? 1st International Conference on Model-Driven Engineering and Software Development, SciTePress, 9 pages, 2013.

A. Guduvan, H. Waeselynck, V. Wiels, G. Durrieu, M. Schieber et al., Test Languages for In-the-Loop Testing of Avionic Embedded Systems, LAAS Report N°12151, 2012.

O. and O. Constraint-language, Version 2.3.1, 2012.

A. Ott, System Testing in the Avionics Domain, 2007.

G. Durrieu, H. Waeselynck, and V. Wiels, LETO - A Lustre-Based Test Oracle for Airbus Critical Systems, Formal Methods for Industrial Critical Systems, 13th International Workshop, pp.7-22, 2008.
DOI : 10.1109/5.97300

U. and U. Testing-profile, Version 1.1. 2012

J. Zander, Z. R. Dai, I. Schieferdecker, and G. Din, From U2TP Models to Executable Tests with TTCN-3 - An Approach to Model Driven Testing -, Proc. international conference on testing of communicating systems, pp.289-303, 2005.
DOI : 10.1007/3-540-44830-6_7

I. Schieferdecker and G. Din, A Meta-model for TTCN-3, Lecture Notes in Computer Science, vol.3236, pp.366-379, 2004.
DOI : 10.1007/978-3-540-31810-1_14

P. Baker, C. Jervis, and U. Testing, 0 Models Using TTCN-3 and the UML2.0 Testing Profile, Proc. SDL 2007, pp.86-100, 2007.

Y. Hernandez, T. M. King, J. Pava, and J. Peter, Clarke: A Metamodel to Support Regression Testing of Web Applications, SEKE, vol.2008, pp.500-505

Y. F. Yin, B. Liu, D. M. Zhong, and T. M. Jiang, On modeling approach for embedded real-time software simulation testing, Journal of Systems Engineering and Electronics, vol.20, issue.2, pp.420-426, 2009.

C. Efkemann and J. Peleska, Model-Based Testing for the Second Generation of Integrated Modular Avionics Verification and Validation Workshops, Proceedings of the 2011 IEEE 4 th International Conference on Software Testing, pp.55-62, 2011.

M. Dahlweid, O. Meyer, and J. Peleska, Automated Testing with RT- Tester ? Theoretical Issus Driven by Practical Needs, Proceedings of FM-Tools, pp.2000-2007, 2000.

K. Czarnecki and S. Helsen, Feature-based survey of model transformation approaches. IBM Syst, J, vol.45, issue.3, 2006.