G. Berry and G. Gonthier, The Esterel synchronous programming language: design, semantics, implementation, Science of Computer Programming, vol.19, issue.2, 1992.
DOI : 10.1016/0167-6423(92)90005-V
URL : https://hal.archives-ouvertes.fr/inria-00075711

M. A. Bezem and J. F. Groote, Invariants in process algebra with data, CONCUR'94, 1994.

M. Bozga, J. Fernandez, L. Ghirvu, S. Graf, J. Krimm et al., If: An Intermediate Representation and Validation Environment for Timed Asynchronous Systems, FM'99, 1999.
DOI : 10.1007/3-540-48119-2_19
URL : https://hal.archives-ouvertes.fr/hal-00369430

M. Bozga, S. Graf, and L. Mounier, IF-2.0: A Validation Environment for Component-Based Real-Time Systems, Proceedings of the Conference on Computer-Aided Verification CAV volume 2404 of Lecture Notes in Computer Science, 2002.
DOI : 10.1007/3-540-45657-0_26
URL : https://hal.archives-ouvertes.fr/hal-00357518

S. Budkowski and P. Dembinski, An introduction to Estelle: A specification language for distributed systems, Computer Networks and ISDN Systems, vol.14, issue.1, 1988.
DOI : 10.1016/0169-7552(87)90084-5

D. Clarke, T. Jéron, V. Rusu, and E. Zinovieva, STG: A Symbolic Test Generation Tool, Proceedings of the 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems TACAS'2002 volume 2280 of Lecture Notes in Computer Science, 2002.
DOI : 10.1007/3-540-46002-0_34

H. Garavel, On the introduction of gate typing in E-LOTOS, PSTV'95. Chapman & Hall, 1995.
DOI : 10.1007/978-0-387-34892-6_18

H. Garavel, F. Lang, and R. Mateescu, An Overview of CADP 2001, 2001.
URL : https://hal.archives-ouvertes.fr/inria-00069920

H. Garavel, F. Lang, and R. Mateescu, Compiler Construction Using LOTOS NT, Compiler Construction, 2002.
DOI : 10.1007/3-540-45937-5_3

H. Garavel and J. Sifakis, Compilation and Verification of LOTOS Specifications, PSTV'90, 1990.

J. F. Groote and M. A. Reniers, Algebraic Process Verification, Handbook of Process Algebra, chapter 17, 2001.
DOI : 10.1016/B978-044482830-9/50035-7

M. Hennessy and M. Lin, Symbolic bisimulations, Theoretical Computer Science, vol.138, issue.2, 1995.
DOI : 10.1016/0304-3975(94)00172-F

G. Holzmann, The model checker SPIN, IEEE Transactions on Software Engineering, vol.23, issue.5, 1997.
DOI : 10.1109/32.588521

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 15437, ISO, 2001.

G. Karjoth, Implementing LOTOS specifications by communicating state machines, CONCUR'92, 1992.
DOI : 10.1007/BFb0084805

N. Lynch and M. Tuttle, An Introduction to Input/Output automata, CWI-Quarterly, vol.2, issue.3, 1989.

E. Olderog, Nets, Terms and Formulas, volume 23 of Cambridge Tracts in Theoretical Computer Science, 1991.

J. Queille, Le systéme CESAR : description, spécification et analyse des applications réparties, 1982.

V. Rusu, L. Bousquet, and T. Jéron, An Approach to Symbolic Test Generation, IFM'00, 1945.
DOI : 10.1007/3-540-40911-4_20

J. Schwartz, QUASAR, une réalisation du système CESAR: description, spécification et analyse des applications réparties, Thèse de Doctorat, Institut National Polytechnique de Grenoble (France), 1983.

M. Sighireanu, ContributionàContribution`Contributionà la définition etàet`età l'implémentation du langage " Extended LOTOS, Thèse de Doctorat, 1999.

M. Sighireanu, . Lotos, and . User, s Manual (Version 2.1) INRIA projet VASY, 2000.

D. Taubner, Finite Representations of CCS and TCSP Programs by Automata and Petri Nets, LNCS, vol.369, 1989.