. Paul, /. Bodeveix, ]. R. Coq-/-lblstr, C. Alur, D. Courcoubetis et al., Model-checking in dense realtime, Inf. Comput, vol.104, issue.21, pp.2-34, 1993.

R. Alur and D. L. Dill, A theory of timed automata, Theoretical Computer Science, vol.126, issue.2, pp.183-235, 1994.
DOI : 10.1016/0304-3975(94)90010-8

F. Arbab, Abstract Behavior Types: a foundation model for components and their composition, Science of Computer Programming, vol.55, issue.1-3, pp.3-52, 2005.
DOI : 10.1016/j.scico.2004.05.010

A. Arnold, G. Point, A. Griffault, and A. Rauzy, The AltaRica formalism for describing concurrent systems, Fundam. Inf, vol.40, issue.2-3, pp.109-124, 1999.

A. Basu, M. Bozga, and J. Sifakis, Modeling Heterogeneous Real-time Components in BIP, Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM'06), pp.3-12, 2006.
DOI : 10.1109/SEFM.2006.27
URL : https://hal.archives-ouvertes.fr/hal-00375298

G. Behrmann, A. David, and K. G. Larsen, A Tutorial on Uppaal, International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-RT 2004. Revised Lectures, pp.200-237, 2004.
DOI : 10.1007/978-3-540-30080-9_7

W. Brauer, W. Reisig, and G. Rozenberg, Petri Nets: Central Models and Their Properties Advances in Petri Nets, Proceedings of an Advanced Course, 1986.

P. Farail, P. Gaufillet, F. Peres, J. Bodeveix, M. Filali et al., FIACRE: an intermediate language for model verification in the TOPCASED environment, European Congress on Embedded Real-Time Software, ERTS'08, 2008.
URL : https://hal.archives-ouvertes.fr/inria-00262442

I. O. For-standardization, Information processing systems -open systems interconnection -LOTOS -a formal description technique based on the temporal ordering of observational behaviour, International standard. ISO, 1989.

T. Henzinger, Z. Manna, and A. Pnueli, Timed transition systems, Lecture Notes in Computer Science, vol.600, issue.10, pp.226-251, 1007.
DOI : 10.1007/BFb0031995
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.57.5098

T. A. Henzinger, X. Nicollin, J. Sifakis, and S. Yovine, Symbolic model checking for real-time systems, [1992] Proceedings of the Seventh Annual IEEE Symposium on Logic in Computer Science, pp.193-244, 1994.
DOI : 10.1109/LICS.1992.185551
URL : http://doi.org/10.1006/inco.1994.1045

T. Hoare and P. O. Hearn, Separation Logic Semantics for Communicating Processes, Electronic Notes in Theoretical Computer Science, vol.212, pp.3-25, 2008.
DOI : 10.1016/j.entcs.2008.04.050
URL : http://doi.org/10.1016/j.entcs.2008.04.050

H. Hüttel and K. Larsen, The use of static constructs in a model process logic, Logic at Botik '89, pp.163-180, 1989.
DOI : 10.1007/3-540-51237-3_14

K. Larsen, P. Pettersson, and W. Yi, Model-checking for real-time systems, Fundamentals of Computation Theory, pp.62-88
DOI : 10.1007/3-540-60249-6_41

R. Milner, Communication and concurrency, 1995.

A. W. Roscoe, The Theory and Practice of Concurrency, 1997.

A. W. Roscoe, On the expressiveness of CSP, 1383.

E. Sekerinski and K. Sere, A Theory of Prioritizing Composition, The Computer Journal, vol.39, issue.8, 1996.
DOI : 10.1093/comjnl/39.8.701