D. Champelovier, X. Clerc, H. Garavel, Y. Guerte, F. Lang et al., Reference Manual of the LOTOS NT to LOTOS Translator (Version 5.8), CONVECS, 2013.

I. Iec, LOTOS ? A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour, International Standard, vol.8807, 1989.

I. Iec, Enhancements to LOTOS (E-LOTOS), International Standard, vol.15437, p.2001, 2001.

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/s10009-012-0244-z

URL : https://hal.archives-ouvertes.fr/hal-00715056

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.1007/s10009-004-0153-x

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

J. Tretmans, Model Based Testing with Labelled Transition Systems, pp.1-38, 2008.
DOI : 10.1007/978-3-540-78917-8_1

A. Graf-brill, Model-based Testing Approaches for the EnergyBus. Reports of SFB, pp.1860-9821

M. Broy, B. Jonsson, J. P. Katoen, M. Leucker, and A. Pretschner, Model- Based Testing of Reactive Systems ? Advanced Lectures, Lecture Notes in Computer Science, vol.3472, 2005.

M. Van-der-bijl, A. Rensink, and J. Tretmans, Compositional Testing with ioco, Lecture Notes in Computer Science, vol.2931, pp.86-100, 2003.
DOI : 10.1007/978-3-540-24617-6_7

H. Garavel, . Open, and . Caesar, OPEN/C??SAR: An open software architecture for verification, simulation, and testing, Proceedings of the 4th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'98), pp.68-84, 1998.
DOI : 10.1007/BFb0054165

W. Prenninger and A. Pretschner, Abstractions for Model-Based Testing, Electronic Notes in Theoretical Computer Science, vol.116, pp.59-71, 2004.
DOI : 10.1016/j.entcs.2004.02.086

H. M. Van-der-bijl, A. Rensink, and G. J. Tretmans, Atomic Action Refinement in Model Based Testing, 2007.

H. Garavel, C. Viho, and M. Zendri, System Design of a CC-NUMA Multiprocessor Architecture Using Formal Specification, Model Checking, Co-simulation, and Test Generation, Software Tools for Technology Transfer (STTT), vol.3, pp.314-331, 2001.
URL : https://hal.archives-ouvertes.fr/inria-00072597

A. Hessel, K. Larsen, M. Mikucionis, B. Nielsen, P. Pettersson et al., Testing Real-Time Systems Using UPPAAL, Lecture Notes in Computer Science, vol.4949, pp.77-117, 2008.
DOI : 10.1007/978-3-540-78917-8_3

E. Bringmann and A. Krämer, Model-Based Testing of Automotive Systems, 2008 International Conference on Software Testing, Verification, and Validation, pp.485-493, 2008.
DOI : 10.1109/ICST.2008.45

M. Gerke, R. Ehlers, B. Finkbeiner, and H. J. Peter, Model Checking the FlexRay Physical Layer Protocol, Lecture Notes in Computer Science, vol.128, issue.6, pp.132-147, 2010.
DOI : 10.1016/j.entcs.2005.04.014

J. Rushby, An Overview of Formal Verification for the Time-Triggered Architecture, Proceedings of the 7th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems (FTRTFT'02), pp.83-106, 2002.
DOI : 10.1007/3-540-45739-9_7

P. Milbredt, B. Vermeulen, G. Tabanoglu, and M. Lukasiewycz, Switched FlexRay: Increasing the effective bandwidth and safety of FlexRay networks, 2010 IEEE 15th Conference on Emerging Technologies & Factory Automation (ETFA 2010), pp.1-8, 2010.
DOI : 10.1109/ETFA.2010.5641268

J. Krause, E. Hintze, S. Magnus, and C. Diedrich, Model Based Specification, Verification, and Test Generation for a Safety Fieldbus Profile, Computer Safety, Reliability, and Security. Lecture Notes in Computer Science, vol.7612, pp.87-98, 2012.
DOI : 10.1007/978-3-642-33678-2_8

D. Goswami, M. Lukasiewycz, M. Kauer, S. Steinhorst, A. Masrur et al., Model-based development and verification of control software for electric vehicles, Proceedings of the 50th Annual Design Automation Conference on, DAC '13, pp.1-969, 2013.
DOI : 10.1145/2463209.2488853

A. Hartmanns and H. Hermanns, Modelling and Decentralised Runtime Control of Self-stabilising Power Micro Grids, Lecture Notes in Computer Science, vol.7609, pp.420-439, 2012.
DOI : 10.1007/978-3-642-34026-0_31