B. K. Aichernig, F. Lorber, and S. Tiran, Integrating Model-Based Testing and Analysis Tools via Test Case Exchange, 2012 Sixth International Symposium on Theoretical Aspects of Software Engineering, pp.119-126, 2012.
DOI : 10.1109/TASE.2012.20

A. Belinfante, JTorX: A Tool for On-Line Model-Driven Test Derivation and Execution, TACAS 2010, pp.266-270
DOI : 10.1007/978-3-642-12002-2_21

A. Belinfante, JTorX: exploring model-based testing, 2014.
DOI : 10.3990/1.9789036537070

A. Belinfante, L. Frantzen, and C. Schallhart, 14 Tools for Test Case Generation, pp.391-438
DOI : 10.1007/11498490_18

P. Bhateja, A TGV-like approach for asynchronous testing, Proceedings of the 7th India Software Engineering Conference on, ISEC '14, pp.1-13, 2014.
DOI : 10.1145/2590748.2590761

P. Bhateja, Asynchronous testing of real-time systems, EPiC Series in Computing EasyChair, vol.45, pp.42-48, 2017.

V. Chimisliu and F. Wotawa, Improving Test Case Generation from UML Statecharts by Using Control, Data and Communication Dependencies, 2013 13th International Conference on Quality Software, pp.125-134, 2013.
DOI : 10.1109/QSIC.2013.48

V. Chimisliu and F. Wotawa, Using Dependency Relations to Improve Test Case Generation from UML Statecharts, 2013 IEEE 37th Annual Computer Software and Applications Conference Workshops, pp.71-76, 2013.
DOI : 10.1109/COMPSACW.2013.24

D. Clarke, T. Jéron, V. Rusu, and E. Zinovieva, STG: A Symbolic Test Generation Tool, TACAS 2002, pp.470-475
DOI : 10.1007/3-540-46002-0_34

L. Du-bousquet, F. Ouabdesselam, J. Richier, and N. Zuanon, Lutess, Proceedings of the 21st international conference on Software engineering, ICSE '99, pp.267-276, 1999.
DOI : 10.1145/302405.302634

Y. Falcone, J. Fernandez, T. Jéron, H. Marchand, and L. Mounier, More testable properties, International Journal on Software Tools for Technology Transfer, vol.3, issue.2, pp.407-437, 2012.
DOI : 10.1109/HASE.2007.57
URL : https://hal.archives-ouvertes.fr/hal-00743981

M. J. Fischer and R. E. Ladner, Propositional dynamic logic of regular programs, Journal of Computer and System Sciences, vol.18, issue.2, pp.194-211, 1979.
DOI : 10.1016/0022-0000(79)90046-1

H. Garavel, OPEN/C??SAR: An open software architecture for verification, simulation, and testing, TACAS 1998, pp.68-84, 1998.
DOI : 10.1007/BFb0054165

H. Garavel, F. Lang, R. Mateescu, and W. Serwe, CADP 2011: a toolbox for the construction and analysis of distributed processes, International Journal on Software Tools for Technology Transfer, vol.1, issue.1/2, pp.89-107, 2013.
DOI : 10.1007/s100090050009
URL : https://hal.archives-ouvertes.fr/hal-00715056

H. Garavel, F. Lang, W. Serwe, J. Katoen, R. Langerak et al., From LOTOS to LNT, ModelEd, TestEd, TrustEd. LNCS, pp.3-26, 2017.
DOI : 10.1016/j.scico.2016.01.002
URL : https://hal.archives-ouvertes.fr/hal-01621670

H. Garavel and W. Serwe, The Unheralded Value of the Multiway Rendezvous: Illustration with the Production Cell Benchmark, MARS 2017, pp.230-270, 2017.
DOI : 10.1002/(SICI)1097-024X(19990710)29:8<677::AID-SPE251>3.0.CO;2-Z
URL : https://hal.archives-ouvertes.fr/hal-01511847

A. Graf-brill and H. Hermanns, Model-Based Testing for Asynchronous Systems, FMICS/AVoCS-2017, pp.66-82, 2017.
DOI : 10.1109/COMPSAC.2009.194

A. Graf-brill, H. Hermanns, and H. Garavel, A Model-Based Certification Framework for the EnergyBus Standard, 2014.
DOI : 10.1007/978-3-662-43613-4_6
URL : https://hal.archives-ouvertes.fr/hal-01098360

N. Halbwachs, P. Caspi, P. Raymond, and D. Pilaud, The synchronous data flow programming language LUSTRE, Proceedings of the IEEE, vol.79, issue.9, pp.1305-1320, 1991.
DOI : 10.1109/5.97300

A. Hessel and P. Pettersson, Model-Based Testing of a WAP Gateway: An Industrial Case-Study, FMICS 2006, pp.116-131, 2007.
DOI : 10.1007/978-3-540-70952-7_8

C. A. Hoare, Communicating sequential processes, Communications of the ACM, vol.21, issue.8, pp.666-677, 1978.
DOI : 10.1145/359576.359585

C. Jard and T. Jéron, TGV: theory, principles and algorithms, International Journal on Software Tools for Technology Transfer, vol.17, issue.4, pp.297-315, 2005.
DOI : 10.1137/0201010
URL : http://www.irisa.fr/triskell/publis/2002/Jard02c.pdf

J. H. Kim, K. G. Larsen, B. Nielsen, M. Miku?ionis, and P. Olsen, Formal Analysis and Testing of Real-Time Automotive Systems Using UPPAAL Tools, FMICS 2015, pp.47-61, 2015.
DOI : 10.1007/978-3-319-19458-5_4

A. Kriouile and W. Serwe, Using a formal model to improve verification of a cachecoherent system-on-chip, TACAS 2015, pp.708-722, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01104747

K. G. Larsen, M. Mikucionis, B. Nielsen, and A. Skou, Testing real-time embedded software using UPPAAL-TRON, Proceedings of the 5th ACM international conference on Embedded software , EMSOFT '05, pp.299-306, 2005.
DOI : 10.1145/1086228.1086283

B. Marre and A. Arnould, Test sequences generation from LUSTRE descriptions: GATEL, Proceedings ASE 2000. Fifteenth IEEE International Conference on Automated Software Engineering, p.229, 2000.
DOI : 10.1109/ASE.2000.873667

R. Mateescu, Efficient Diagnostic Generation for Boolean Equation Systems, TACAS 2000, pp.251-265
DOI : 10.1007/3-540-46419-0_18
URL : https://hal.archives-ouvertes.fr/inria-00072795

R. Mateescu, On-the-fly state space reductions for weak equivalences, Proceedings of the 10th international workshop on Formal methods for industrial critical systems , FMICS '05, pp.80-89, 2005.
DOI : 10.1145/1081180.1081191

R. Mateescu, CAESAR_SOLVE: A generic library for on-the-fly resolution of alternation-free Boolean equation systems, International Journal on Software Tools for Technology Transfer, vol.8, issue.1, pp.37-56, 2006.
DOI : 10.1007/s10009-005-0194-9
URL : https://hal.archives-ouvertes.fr/inria-00084628

R. Mateescu and A. Wijs, Hierarchical Adaptive State Space Caching Based on Level Sampling, TACAS 2009, pp.215-229, 2009.
DOI : 10.1007/3-540-44798-9_22
URL : https://hal.archives-ouvertes.fr/inria-00381682

M. Mikucionis, K. G. Larsen, and B. Nielsen, T-uppaal : online model-based testing of real-time systems, Proceedings. 19th International Conference on Automated Software Engineering, 2004., pp.396-397, 2004.
DOI : 10.1109/ASE.2004.1342774

A. Mjeda, Standard-compliant testing for safety-related automotive software, 2013.
DOI : 10.1109/ret.2015.9

Y. Moy, E. Ledinot, H. Delseny, V. Wiels, and B. Monate, Testing or Formal Verification: DO-178C Alternatives and Industrial Experience, IEEE Software, vol.30, issue.3, pp.50-57, 2013.
DOI : 10.1109/MS.2013.43

W. Serwe, Formal Specification and Verification of Fully Asynchronous Implementations of the Data Encryption Standard, MARS 2015, pp.61-147, 2015.
DOI : 10.1007/11589976_17
URL : https://hal.archives-ouvertes.fr/hal-01227999

M. Sijtema, A. Belinfante, M. Stoelinga, and L. Marinelli, Experiences with formal engineering: Model-based specification, implementation and testing of a software bus at Neopost, Science of Computer Programming, vol.80, pp.188-209, 2014.
DOI : 10.1016/j.scico.2013.04.009

J. Tretmans, A Formal Approach to Conformance Testing, 1992.

J. Tretmans, Conformance testing with labelled transition systems: Implementation relations and test generation, Computer Networks and ISDN Systems, vol.29, issue.1, pp.49-79, 1996.
DOI : 10.1016/S0169-7552(96)00017-7

J. Tretmans, R. M. Hierons, J. P. Bowen, and M. Harman, Model Based Testing with Labelled Transition Systems, Formal Methods and Testing, pp.1-38, 2008.
DOI : 10.1007/978-3-540-78917-8_1
URL : http://repository.ubn.ru.nl/bitstream/2066/35653/1/35653.pdf

J. Tretmans and H. Brinksma, TorX: automated model-based testing, Model- Driven Software Engineering, pp.32-43, 2003.

M. Utting, A. Pretschner, and B. Legeard, A taxonomy of model-based testing approaches, Software Testing, Verification and Reliability, vol.30, issue.4, pp.297-312, 2012.
DOI : 10.1145/1353673.1353681
URL : https://hal.archives-ouvertes.fr/hal-00940611

M. Weiglhofer and F. Wotawa, Asynchronous Input-Output Conformance Testing, 2009 33rd Annual IEEE International Computer Software and Applications Conference, pp.154-159, 2009.
DOI : 10.1109/COMPSAC.2009.194

J. Zander, I. Schieferdecker, and P. J. Mosterman, Model-Based Testing for Embedded Systems, Boca Raton, 2017.