R. Alur, Timed automata, CAV, pp.8-22, 1999.

K. R. Apt, Principles of Constraint Programming, 2003.
DOI : 10.1017/CBO9780511615320

F. Arbab, Reo: a channel-based coordination model for component composition, Mathematical Structures in Computer Science, vol.14, issue.3, pp.329-366, 2004.
DOI : 10.1017/S0960129504004153

A. Biere, A. Cimatti, E. M. Clarke, and Y. Zhu, Symbolic Model Checking without BDDs, TACAS, pp.193-207, 1999.
DOI : 10.1007/3-540-49059-0_14

M. Bonsangue, D. Clarke, and A. Silva, Automata for Context-Dependent Connectors, In COORDINATION LNCS, vol.154, issue.1, pp.184-203, 2009.
DOI : 10.1016/j.entcs.2005.12.034

J. D. Brock and W. B. Ackerman, Scenarios: A model of non-determinate computation, ICFPC, pp.252-259, 1981.
DOI : 10.1007/3-540-10699-5_102

D. Clarke, D. Costa, and F. Arbab, Connector colouring I: Synchronisation and context dependency, Science of Computer Programming, vol.66, issue.3, pp.205-225, 2007.
DOI : 10.1016/j.scico.2007.01.009

D. Clarke, J. Proença, A. Lazovik, and F. Arbab, Deconstructing <mml:math altimg="si1.gif" overflow="scroll" xmlns:xocs="http://www.elsevier.com/xml/xocs/dtd" xmlns:xs="http://www.w3.org/2001/XMLSchema" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns="http://www.elsevier.com/xml/ja/dtd" xmlns:ja="http://www.elsevier.com/xml/ja/dtd" xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:tb="http://www.elsevier.com/xml/common/table/dtd" xmlns:sb="http://www.elsevier.com/xml/common/struct-bib/dtd" xmlns:ce="http://www.elsevier.com/xml/common/dtd" xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:cals="http://www.elsevier.com/xml/common/cals/dtd"><mml:mi mathvariant="script">R</mml:mi><mml:mi mathvariant="sans-serif">eo</mml:mi></mml:math>, Electronic Notes in Theoretical Computer Science, vol.229, issue.2, pp.43-58, 2009.
DOI : 10.1016/j.entcs.2009.06.028

B. Jonsson, A fully abstract trace model for dataflow networks, Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '89, pp.155-165, 1989.
DOI : 10.1145/75277.75291

G. Kahn, The semantics of a simple language for parallel programming, IFIP Congress, pp.471-475, 1974.

S. Kemper and A. Platzer, SAT-based Abstraction Refinement for Real-time Systems, Electronic Notes in Theoretical Computer Science, vol.182, pp.107-122, 2007.
DOI : 10.1016/j.entcs.2006.09.034

S. Kemper, SAT-based Verification for Timed Component Connectors, Electronic Notes in Theoretical Computer Science, vol.255, pp.103-118, 2009.
DOI : 10.1016/j.entcs.2009.10.027

S. Ren and G. Agha, RTsynchronizer: Language support for real-time specifications in distributed systems, In LCT-RTS, pp.50-59, 1995.

P. Wegner, Coordination as constrainted interaction (extended abstract), In CO- ORDINATION LNCS, vol.1061, pp.28-33, 1996.