K. G. Larsen, U. Nyman, and A. Wasowski, Modal I/O Automata for Interface and Product Line Theories, LNCS, vol.4421, pp.64-79, 2007.
DOI : 10.1007/978-3-540-71316-6_6
URL : http://vbn.aau.dk/ws/files/16109957/ESOP2007withappendix.pdf

L. Doyen, T. A. Henzinger, B. Jobstmann, and T. Petrov, Interface theories with component reuse, Proceedings of the 7th ACM international conference on Embedded software, EMSOFT '08, pp.79-88, 2008.
DOI : 10.1145/1450058.1450070

J. B. Raclet, E. Badouel, A. Benveniste, B. Caillaud, A. Legay et al., A modal interface theory for component-based design, Fundam. Inform, vol.108, pp.119-149, 2011.
URL : https://hal.archives-ouvertes.fr/inria-00554283

T. Chen, C. Chilton, B. Jonsson, and M. Kwiatkowska, A Compositional Specification Theory for Component Behaviours, LNCS, vol.12, issue.7211, pp.145-165, 2012.
DOI : 10.1007/978-3-642-28869-2_8
URL : https://hal.archives-ouvertes.fr/hal-00665599

L. De-alfaro and T. A. Henzinger, Interface automata, ACM SIGSOFT Software Engineering Notes, vol.26, issue.5, pp.109-120, 2001.
DOI : 10.1145/503271.503226

P. Bhaduri and S. Ramesh, Interface synthesis and protocol conversion, Formal Aspects of Computing, vol.32, issue.5, pp.205-224, 2008.
DOI : 10.1007/s00165-007-0045-4
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.133.9343

M. Abadi and L. Lamport, Composing specifications, ACM Transactions on Programming Languages and Systems, vol.15, issue.1, pp.73-132, 1993.
DOI : 10.1145/151646.151649
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.33.1637

M. Abadi and G. Plotkin, A logical view of composition, Theoretical Computer Science, vol.114, issue.1, pp.3-30, 1993.
DOI : 10.1016/0304-3975(93)90151-I

A. Pnueli, Logics and models of concurrent systems, pp.123-144, 1985.

E. Clarke, D. Long, and K. Mcmillan, Compositional model checking, [1989] Proceedings. Fourth Annual Symposium on Logic in Computer Science, pp.353-362, 1989.
DOI : 10.1109/LICS.1989.39190

O. Grumberg and D. E. Long, Model checking and modular verification, ACM Transactions on Programming Languages and Systems, vol.16, 1991.

P. Maier, A Set-Theoretic Framework for Assume-Guarantee Reasoning, ICALP'01, pp.2076-821, 2001.
DOI : 10.1007/3-540-48224-5_67

K. S. Namjoshi and R. J. Trefler, On the completeness of compositional reasoning methods, ACM Transactions on Computational Logic, vol.11, issue.3, pp.1-1622, 2010.
DOI : 10.1145/1740582.1740584

M. Emmi, D. Giannakopoulou, and C. , Assume-Guarantee Verification for Interface Automata, LNCS, vol.5014, pp.116-131, 2008.
DOI : 10.1007/978-3-540-68237-0_10

K. G. Larsen, U. Nyman, and A. Wasowski, Interface Input/Output Automata, LNCS, vol.4085, pp.82-97, 2006.
DOI : 10.1007/11813040_7

S. Bauer, A. David, R. Hennicker, K. Larsen, A. Legay et al., Moving from Specifications to Contracts in Component-Based Design, LNCS, vol.12, issue.7212, pp.43-58, 2012.
DOI : 10.1007/978-3-642-28872-2_3

B. Delahaye, B. Caillaud, and A. Legay, Probabilistic contracts: a compositional reasoning methodology for the design of systems with stochastic and/or non-deterministic aspects, Formal Methods in System Design, vol.56, issue.1/2, pp.38-39, 2011.
DOI : 10.1007/s10703-010-0107-8
URL : https://hal.archives-ouvertes.fr/inria-00554307

C. Chilton, B. Jonsson, and M. Kwiatkowska, Assume-Guarantee Reasoning for Safe Component Behaviours, 2012.
DOI : 10.1007/978-3-642-35861-6_6
URL : https://hal.archives-ouvertes.fr/hal-00740073

P. Collette, Application of the composition principle to unity-like specifications, TAPSOFT'93, pp.230-242, 1993.
DOI : 10.1007/3-540-56610-4_67

M. Abadi and L. Lamport, Conjoining specifications, ACM Transactions on Programming Languages and Systems, vol.17, issue.3, pp.507-534, 1995.
DOI : 10.1145/203095.201069
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.33.4928

B. Jonsson and Y. K. Tsay, Assumption/guarantee specifications in linear-time temporal logic, Theoretical Computer Science, vol.167, issue.1-2, pp.47-72, 1996.
DOI : 10.1016/0304-3975(96)00069-2

R. 1. Chen, T. Chilton, C. Jonsson, B. Kwiatkowska, and M. , A Compositional Specification Theory for Component Behaviours, LNCS, vol.12, issue.7211, pp.148-168, 2012.
DOI : 10.1007/978-3-642-28869-2_8
URL : https://hal.archives-ouvertes.fr/hal-00665599

A. David, K. G. Larsen, A. Legay, U. Nyman, and A. Wasowski, Timed I/O automata, Proceedings of the 13th ACM international conference on Hybrid systems: computation and control, HSCC '10, pp.91-100, 2010.
DOI : 10.1145/1755952.1755967

L. De-alfaro and T. A. Henzinger, Interface automata, ACM SIGSOFT Software Engineering Notes, vol.26, issue.5, pp.109-120, 2001.
DOI : 10.1145/503271.503226

D. K. Kaynar, N. A. Lynch, R. Segala, and F. W. Vaandrager, Timed I/O automata: a mathematical framework for modeling and analyzing real-time systems, Proceedings. 2003 International Symposium on System-on-Chip (IEEE Cat. No.03EX748), 2003.
DOI : 10.1109/REAL.2003.1253264

W. Lim, Design methodology for stoppable clock systems. Computers and Digital Techniques, IEE Proceedings E, vol.133, pp.65-72, 1986.

S. Moore, G. Taylor, P. Cunningham, R. Mullins, and P. Robinson, Using stoppable clocks to safely interface asynchronous and synchronous subsystems, AINT (Asynchronous INTerfaces) Workshop, 2000.

X. Wang and M. Z. Kwiatkowska, On process-algebraic verification of asynchronous circuits. Fundam, Inform, vol.80, pp.283-310, 2007.

D. L. Dill, Trace theory for automatic hierarchical verification of speedindependent circuits, ACM distinguished dissertations, 1989.

A. David, K. G. Larsen, A. Legay, U. Nyman, and A. Wasowski, ECDAR: An Environment for Compositional Design and Analysis of Real Time Systems, In: ATVA. LNCS, vol.6252, pp.365-370, 2010.
DOI : 10.1007/978-3-642-15643-4_29

N. Bertrand, A. Legay, S. Pinchinat, and J. B. Raclet, A Compositional Approach on Modal Specifications for Timed Systems, In: ICFEM. LNCS, vol.5885, pp.679-697, 2009.
DOI : 10.1007/978-3-642-10373-5_35
URL : https://hal.archives-ouvertes.fr/inria-00418855

K. Cerans, J. C. Godskesen, and K. G. Larsen, Timed Modal Specification ???Theory and Tools, BRICS Report Series, vol.4, issue.11, pp.253-267, 1993.
DOI : 10.7146/brics.v4i11.18802
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.16.3202

J. Berendsen and F. W. Vaandrager, Compositional Abstraction in Real-Time Model Checking, In: FORMATS. LNCS, vol.5215, pp.233-249, 2008.
DOI : 10.1007/978-3-540-85778-5_17

T. Verhoeff, A Theory of Delay-Insensitive Systems, 1994.

B. Zhou, T. Yoneda, and C. Myers, Framework of timed trace theoretic verification revisited, IEICE Trans. on Information and Systems, vol.85, pp.1595-1604, 2002.

C. Chilton, M. Kwiatkowska, and X. Wang, Revisiting Timed Specification Theories: A Linear-Time Perspective, 2012.
DOI : 10.1007/978-3-642-33365-1_7
URL : https://hal.archives-ouvertes.fr/hal-00739584

X. Wang, Maximal Confluent Processes, LNCS, vol.7347, 2012.
DOI : 10.1007/978-3-642-31131-4_11
URL : https://hal.archives-ouvertes.fr/hal-00740738

L. Thiele, E. Wandeler, and N. Stoimenov, Real-time interfaces for composing realtime systems, In: EMSOFT, 2006.
DOI : 10.1145/1176887.1176894
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.415.8363

I. Lee, J. Leung, and S. Song, Handbook of Real-Time and Embedded Systems, M6=T rans(P ayT hirdP arty, P ayT hirdP arty ? ) * ; M7=Order([Conf irmItem, CloseOrder], (2, 1), [Conf irmItem ?, 2007.

M. Weiser, The computer for the twenty-first century, Scientific American, 1991.

D. E. Perry and A. L. Wolf, Foundations for the study of software architecture, ACM SIGSOFT Software Engineering Notes, vol.17, issue.4, 1992.
DOI : 10.1145/141874.141884

R. Allen and D. Garlan, A formal basis for architectural connection, ACM Transactions on Software Engineering and Methodology, vol.6, issue.3, 1997.
DOI : 10.1145/258077.258078
URL : https://hal.archives-ouvertes.fr/hal-00444067

D. M. Yellin and R. E. Strom, Protocol specifications and component adaptors, ACM Transactions on Programming Languages and Systems, vol.19, issue.2, 1997.
DOI : 10.1145/244795.244801

P. Inverardi, R. Spalazzese, and M. Tivoli, Application-Layer Connector Synthesis, SFM, 2011.
DOI : 10.1007/978-3-642-21455-4_5
URL : https://hal.archives-ouvertes.fr/inria-00620465

V. Issarny, A. Bennaceur, and Y. Bromberg, Middleware-Layer Connector Synthesis: Beyond State of the Art in Middleware Interoperability, SFM, 2011.
DOI : 10.1007/978-3-642-21455-4_7
URL : https://hal.archives-ouvertes.fr/inria-00586630

C. Canal, P. Poizat, and G. Salaün, Model-Based Adaptation of Behavioral Mismatching Components, IEEE Transactions on Software Engineering, vol.34, issue.4, 2008.
DOI : 10.1109/TSE.2008.31

R. Passerone, L. De-alfaro, T. A. Henzinger, and A. L. Sangiovanni-vincentelli, Convertibility verification and converter synthesis, Proceedings of the 2002 IEEE/ACM international conference on Computer-aided design , ICCAD '02, 2002.
DOI : 10.1145/774572.774592

J. Cortadella, A. Kondratyev, L. Lavagno, C. Passerone, and Y. Watanabe, Quasi-static scheduling of independent tasksfor reactive systems, ICATPN, 2002.

F. Jiang, Y. Fan, and X. Zhang, Rule-Based Automatic Generation of Mediator Patterns for Service Composition Mismatches, 2008 The 3rd International Conference on Grid and Pervasive Computing, Workshops, 2008.
DOI : 10.1109/GPC.WORKSHOPS.2008.21

X. Li, Y. Fan, J. Wang, L. Wang, and F. Jiang, A Pattern-Based Approach to Development of Service Mediators for Protocol Mediation, Seventh Working IEEE/IFIP Conference on Software Architecture (WICSA 2008), 2008.
DOI : 10.1109/WICSA.2008.13

B. Spitznagel and D. Garlan, A compositional formalization of connector wrappers, 25th International Conference on Software Engineering, 2003. Proceedings., 2003.
DOI : 10.1109/ICSE.2003.1201216

G. Wiederhold and M. Genesereth, The conceptual basis for mediation services, IEEE Expert: Intelligent Systems and Their Applications, 1997.
DOI : 10.1109/64.621227

L. De-alfaro and T. A. Henzinger, Interface automata, ESEC/FSE, 2001.

T. Chen, C. Chilton, B. Jonsson, and M. Kwiatkowska, A Compositional Specification Theory for Component Behaviours, ESOP, 2012.
DOI : 10.1007/978-3-642-28869-2_8
URL : https://hal.archives-ouvertes.fr/hal-00665599

M. Autili, C. Chilton, P. Inverardi, M. Kwiatkowska, and M. Tivoli, Towards a Connector Algebra, ISoLA, 2010.
DOI : 10.1007/978-3-642-16561-0_28
URL : https://hal.archives-ouvertes.fr/inria-00512431

R. Alur, T. A. Henzinger, O. Kupferman, and M. Y. Vardi, Alternating refinement relations, CONCUR'98, 1998.
DOI : 10.1007/BFb0055622
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.113.1421

J. E. Hopcroft and J. D. Ullman, Introduction to Automata Theory, Languages, and Computation Dynamic connector synthesis: revised prototype implementation, CONNECT consortium. CONNECT Deliverable D3. FET IP CONNECT EU project, vol.3, pp.7-231167, 1979.
DOI : 10.1145/568438.568455

U. Aßmann, S. Zschaler, and G. Wagner, Ontologies, Meta-Models, and the Model-Driven Paradigm, 2006.

F. Baader, D. Calvanese, D. L. Mcguinness, D. Nardi, and P. F. , The description logic handbook: theory, implementation, and applications, 2003.
DOI : 10.1017/CBO9780511711787

F. Buschmann, R. Meunier, H. Rohnert, P. Sommerlad, and M. Stal, Pattern-Oriented Software Architecture, System of Patterns, 1996.

M. Dumas, M. Spork, and K. Wang, Adapt or Perish: Algebra and Visual Notation for Service Interface Adaptation, Business Process Management, 2006.
DOI : 10.1007/11841760_6
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.210.460

K. L. Calvert and S. S. Lam, Formal methods for protocol conversion, IEEE Journal on Selected Areas in Communications, vol.8, issue.1, 1990.
DOI : 10.1109/49.46852

S. S. Lam, Correction to 'Protocol conversion', IEEE Transactions on Software Engineering, vol.14, issue.9, 1988.
DOI : 10.1109/32.6181

R. Vaculín and K. Sycara, Towards automatic mediation of OWL-S process models, IEEE International Conference on Web Services (ICWS 2007), 2007.
DOI : 10.1109/ICWS.2007.177

R. Vaculín, R. Neruda, and K. P. Sycara, An Agent for Asymmetric Process Mediation in Open Environments, SOCASE, 2008.
DOI : 10.1007/978-3-540-79968-9_9

R. Bruni, I. Lanese, and U. Montanari, A basic algebra of stateless connectors, Theoretical Computer Science, vol.366, issue.1-2, 2006.
DOI : 10.1016/j.tcs.2006.07.005

]. M. Abadi and L. Lamport, Composing specifications, ACM Transactions on Programming Languages and Systems, vol.15, issue.1, pp.73-132, 1993.
DOI : 10.1145/151646.151649
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.33.1637

M. Abadi and L. Lamport, Conjoining specifications, ACM Transactions on Programming Languages and Systems, vol.17, issue.3, pp.507-534, 1995.
DOI : 10.1145/203095.201069

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. Baader, D. Calvanese, D. L. Mcguinness, D. Nardi, and P. F. Patel-schneider, The description logic handbook: theory, implementation, and applications, 2003.
DOI : 10.1017/CBO9780511711787

S. Bauer, A. David, R. Hennicker, K. G. Larsen, A. Legay et al., Moving from Specifications to Contracts in Component-Based Design, Fundamental Approaches to Software Engineering, pp.43-58, 2012.
DOI : 10.1007/978-3-642-28872-2_3

P. Bhaduri and S. Ramesh, Interface synthesis and protocol conversion, Formal Aspects of Computing, vol.32, issue.5, pp.205-224, 2008.
DOI : 10.1007/s00165-007-0045-4

C. Canal, P. Poizat, and G. Salä-un, Model-Based Adaptation of Behavioral Mismatching Components, IEEE Transactions on Software Engineering, vol.34, issue.4
DOI : 10.1109/TSE.2008.31

T. Chen, C. Chilton, B. Jonsson, and M. Kwiatkowska, A Compositional Specification Theory for Component Behaviours, Programming Languages and Systems Proc. 21st European Symposium on Programming (ESOP'12), pp.148-168, 2012.
DOI : 10.1007/978-3-642-28869-2_8
URL : https://hal.archives-ouvertes.fr/hal-00665599

C. Deliverable and D. , Rephrasing interoperability in terms of connector behaviours. FET IP CONNECT EU project, FP7 grant agreement number 231167

C. Deliverable and D. , Dynamic connector synthesis: revised prototype implementation. FET IP CONNECT EU project, FP7 grant agreement number 231167

C. Deliverable and D. , 3: Experiment scenarios, prototypes and report Iteration 2. FET IP CONNECT EU project, FP7 grant agreement number 231167

L. De-alfaro and T. Henzinger, Interface automata, Proceedings of the 8th European Software Engineering Conference and the 9th ACM Symposium on Foundations of Software Engineering, pp.109-120, 2001.

L. De-alfaro and T. A. Henzinger, Interface automata, ACM SIGSOFT Software Engineering Notes, vol.26, issue.5, pp.109-120, 2001.
DOI : 10.1145/503271.503226

L. De-alfaro and T. A. Henzinger, Interface-Based Design, Engineering Theories of Software Intensive Systems, pp.83-104, 2005.
DOI : 10.1007/1-4020-3532-2_3

L. De-alfaro, T. A. Henzinger, and M. Stoelinga, Timed Interfaces, Embedded Software, pp.108-122, 2002.
DOI : 10.1007/3-540-45828-X_9

B. Delahaye, B. Caillaud, and A. Legay, Probabilistic contracts: a compositional reasoning methodology for the design of systems with stochastic and/or non-deterministic aspects, Formal Methods in System Design, vol.56, issue.1/2, pp.1-32, 2011.
DOI : 10.1007/s10703-010-0107-8
URL : https://hal.archives-ouvertes.fr/inria-00554307

J. Drissi, G. V. Bochmann, M. B. Josephs, H. K. Kapoor, . Controllable-delay-insensitive et al., Submodule construction for systems of i/o automata, 1999.

M. Dumas, M. Spork, and K. Wang, Adapt or Perish: Algebra and Visual Notation for Service Interface Adaptation, Business Process Management, 2006.
DOI : 10.1007/11841760_6

B. Jonsson, Compositional specification and verification of distributed systems, ACM Transactions on Programming Languages and Systems, vol.16, issue.2, pp.259-303, 1994.
DOI : 10.1145/174662.174665

K. G. Larsen, U. Nyman, and A. Wasowski, Interface Input/Output Automata, FM 2006, pp.82-97, 2006.
DOI : 10.1007/11813040_7

N. A. Lynch and M. R. Tuttle, An introduction to input/output automata, CWI Quarterly, vol.2, issue.3, pp.219-246, 1989.

J. Raclet, E. Badouel, A. Benveniste, B. Caillaud, A. Legay et al., A modal interface theory for component-based design, Fundam. Inform, vol.108, issue.1, pp.119-149, 2011.
URL : https://hal.archives-ouvertes.fr/inria-00554283

B. Spitznagel and D. Garlan, A compositional formalization of connector wrappers, 25th International Conference on Software Engineering, 2003. Proceedings., 2003.
DOI : 10.1109/ICSE.2003.1201216

R. Vaculín, R. Neruda, and K. P. Sycara, An Agent for Asymmetric Process Mediation in Open Environments, SOCASE, 2008.
DOI : 10.1007/978-3-540-79968-9_9

T. Verhoeff, A Theory of Delay-Insensitive Systems, 1994.

G. Wiederhold and M. Genesereth, The conceptual basis for mediation services, IEEE Expert: Intelligent Systems and Their Applications, 1997.
DOI : 10.1109/64.621227