A. Tanenbaum and M. Van-steen, Distributed Systems: Principles and Paradigms, 2007.

P. Grace, G. S. Blair, and S. Samuel, A reflective framework for discovery and interaction in heterogeneous mobile environments, ACM SIGMOBILE Mobile Computing and Communications Review, vol.9, issue.1, 2005.
DOI : 10.1145/1055959.1055962

C. Cortes, G. S. Blair, and P. Grace, An adaptive middleware to overcome service discovery heterogeneity in mobile ad hoc environments, IEEE Distributed Systems Online, vol.8, issue.7, 2007.

Y. Bromberg and V. Issarny, INDISS: Interoperable Discovery System for Networked Services, IFIP/ACM/Usenix International Middleware Conference, 2005.
DOI : 10.1007/978-3-540-39800-4_1
URL : https://hal.archives-ouvertes.fr/hal-00353571

P. Raverdy, O. Riva, A. Chapelle, R. Chibout, and V. Issarny, Efficient Context-aware Service Discovery in Multi-Protocol Pervasive Environments, 7th International Conference on Mobile Data Management (MDM'06), 2006.
DOI : 10.1109/MDM.2006.78
URL : https://hal.archives-ouvertes.fr/inria-00415112

N. Limam, J. Ziembicki, R. Ahmed, Y. Iraqi, D. Li et al., OSDA: Open service discovery architecture for efficient cross-domain service provisioning, Computer Communications, vol.30, issue.3, 2007.
DOI : 10.1016/j.comcom.2005.11.017
URL : https://hal.archives-ouvertes.fr/hal-01165443

D. L. Mcguinness and F. Van-harmelen, OWL Web Ontology Language, Overview " ; W3C Recommendation, 2004.

S. B. Mokhtar, A. Kaul, N. Georgantas, and V. Issarny, Efficient Semantic Service Discovery in Pervasive Computing Environments, 7th International Middleware Conference, 2006.
DOI : 10.1007/11751113_10
URL : https://hal.archives-ouvertes.fr/inria-00415115

M. Object and . Group, Common Object Request Broker Architecture 3.0 " , OMG Document number Formal, pp.2-12, 2002.

M. Object and . Group, COM/CORBA Interworking Specification Part A & B " , OMG Document number ORBOS, pp.97-106, 1997.

J. Nakazawa, H. Tokuda, W. Edwards, and U. Ramachandran, A Bridging Framework for Universal Interoperability in Pervasive Systems, 26th IEEE International Conference on Distributed Computing Systems (ICDCS'06), 2006.
DOI : 10.1109/ICDCS.2006.5

S. Vinoski and S. , It's just a mapping problem, IEEE Internet Computing, vol.7, issue.3, 2003.
DOI : 10.1109/MIC.2003.1200306

G. Huang, H. Mei, Q. Wang, and F. Yang, A systematic approach to composing heterogeneous components, Chinese Journal of Electronics, vol.12, issue.4, 2003.

D. Garlan, Formal Modeling and Analysis of Software Architecture: Components, Connectors, and Events, LNCS, vol.2804, 2003.
DOI : 10.1007/978-3-540-39800-4_1

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

R. Allen and D. Garlan, Formalizing architectural connection, ICSE'94, 1994.
DOI : 10.1109/icse.1994.296767

F. Arbab, C. Baier, M. Sirjani, and J. Rutten, Modeling Component Connectors in Reo by Constraint Automata, Electronic Notes in Theoretical Computer Science, vol.97, issue.2, p.61, 2006.
DOI : 10.1016/j.entcs.2004.04.028

F. Arbab, Abstract behavior types: a foundation model for components and their composition, Sci. Comput. Program, vol.55, pp.1-3, 2005.

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

S. Bliudze and J. Sifakis, The algebra of connectors, Proceedings of the 7th ACM & IEEE international conference on Embedded software , EMSOFT '07, 2007.
DOI : 10.1145/1289927.1289935
URL : https://hal.archives-ouvertes.fr/hal-00282866

D. Compare, P. Inverardi, and A. L. Wolf, Uncovering architectural mismatch in component behavior, Science of Computer Programming, vol.33, issue.2, 1999.
DOI : 10.1016/S0167-6423(98)00006-9

R. Alur and T. A. Henzinge, Reactive modules, Proceedings 11th Annual IEEE Symposium on Logic in Computer Science, 1999.
DOI : 10.1109/LICS.1996.561320

X. Wang and M. Z. Kwiatkowska, On process-algebraic verification of asynchronous circuits, Sixth International Conference on Application of Concurrency to System Design (ACSD'06), 2006.
DOI : 10.1109/ACSD.2006.16

M. Caporuscio, P. Inverardi, and P. Pelliccione, Compositional verification of middleware-based software architecture descriptions, Proceedings. 26th International Conference on Software Engineering, 2004.
DOI : 10.1109/ICSE.2004.1317444

M. Z. Kwiatkowska, G. Norman, J. Sproston, and F. Wang, Symbolic model checking for probabilistic timed automata, Inf. Comput, vol.205, issue.7, 2007.
DOI : 10.1016/j.ic.2007.01.004
URL : http://doi.org/10.1016/j.ic.2007.01.004

S. Cheng, D. Garlan, and B. Schmerl, Architecture-based selfadaptation in the presence of multiple objectives, p.6, 2006.

S. Klüppelholz and C. Baier, Symbolic model checking for channelbased component connectors, Electr. Notes Theor. Comput. Sci, vol.175, issue.2, 2007.

M. Izadi, A. Movaghar, and F. Arbab, Model Checking of Component Connectors, 31st Annual International Computer Software and Applications Conference, Vol. 1- (COMPSAC 2007), 2007.
DOI : 10.1109/COMPSAC.2007.153

S. Meng and F. Arbab, On resource-sensitive timed component connectors, FMOODS, 2007.
DOI : 10.1007/978-3-540-72952-5_19

C. Baier, E. M. Clarke, V. Hartonas-garmhausen, M. Z. Kwiatkowska, and M. Ryan, Symbolic model checking for probabilistic processes, 1997.
DOI : 10.1007/3-540-63165-8_199
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.218.9444

M. Z. Kwiatkowska, G. Norman, and D. Parker, Probabilistic symbolic model checking with PRISM: a hybrid approach, 2004.
DOI : 10.1007/3-540-46002-0_5
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.10.5908

M. Z. Kwiatkowska, Quantitative verification: models techniques and tools, ESEC/SIGSOFT FSE, 2007.
DOI : 10.1145/1287624.1287688

M. Z. Kwiatkowska, G. Norman, R. Segala, and J. Sproston, Automatic verification of real-time systems with discrete probability distributions, Theor. Comput. Sci, vol.282, issue.1, 2002.

K. Etessami, M. Z. Kwiatkowska, M. Y. Vardi, and M. Yannakakis, Multi-objective model checking of Markov decision processes, 2007.

E. Wandeler, A. Maxiaguine, and L. Thiele, Quantitative characterization of event streams in analysis of hard real-time applications, Proceedings. RTAS 2004. 10th IEEE Real-Time and Embedded Technology and Applications Symposium, 2004., 2004.
DOI : 10.1109/RTTAS.2004.1317292

J. Cobleigh, D. Giannakopoulou, and C. Pasareanu, Learning Assumptions for Compositional Verification, 2003.
DOI : 10.1007/3-540-36577-X_24

H. Hungar, O. Niese, and B. Steffen, Domain-Specific Optimization in Automata Learning, 2003.
DOI : 10.1007/978-3-540-45069-6_31

G. Ammons, R. Bodik, and J. Larus, Mining specifications, 29th ACM Symp. on Principles of Programming Languages, 2002.

D. Angluin, Learning regular sets from queries and counterexamples. Information and Computation 75, 1987.

B. Steffen, T. Margaria, H. Raffelt, and O. Niese, Effcient test-based model generation of legacy systems, 2004.

E. Torlak and D. Jackson, Kodkod: A Relational Model Finder, 2007.
DOI : 10.1007/978-3-540-71209-1_49
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.697.8573

T. Margaria, H. Raffelt, B. Steffen, and M. Leucker, The LearnLib in FMICS-jETI, 12th IEEE International Conference on Engineering Complex Computer Systems (ICECCS 2007), 2007.
DOI : 10.1109/ICECCS.2007.43

S. Chaki and O. Strichman, Optimized L*-Based Assume-Guarantee Reasoning, 2007.
DOI : 10.1007/978-3-540-71209-1_22

M. D. Ernst, J. H. Perkins, P. J. Guo, S. Mccamant, C. Pacheco et al., The Daikon system for dynamic detection of likely invariants, Science of Computer Programming, vol.69, issue.1-3, pp.1-3, 2007.
DOI : 10.1016/j.scico.2007.01.015

J. Yang, D. Evans, D. Bhardwaj, T. Bhat, and M. Das, Perracotta, Proceeding of the 28th international conference on Software engineering , ICSE '06, 2006.
DOI : 10.1145/1134285.1134325

]. T. Berg, B. Jonsson, and H. Raffelt, Regular Inference for State Machines Using Domains with Equality Tests, LNCS, vol.4961, 2008.
DOI : 10.1007/978-3-540-78743-3_24

O. Grinchtein, B. Jonsson, and P. Pettersson, Inference of eventrecording automata using timed decision trees, 2006.

P. J. Ramadge and W. Wonham, The control of discrete event systems, Proceedings of the IEEE, vol.77, issue.1, 1989.
DOI : 10.1109/5.21072

G. Behrmann, A. Cougnard, A. David, E. Fleury, K. G. Larsen et al., Time for playing games, 2007.
DOI : 10.1007/978-3-540-73368-3_14
URL : https://hal.archives-ouvertes.fr/hal-00350466

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 and M. Tivoli, Deadlock-free software architectures for COM/DCOM Applications, Journal of Systems and Software, vol.65, issue.3, 2003.
DOI : 10.1016/S0164-1212(02)00037-7

P. Inverardi and M. Tivoli, Failure-free coordinators synthesis for component-based architectures, Science of Computer Programming, 2008.

M. Tivoli, P. Fradet, A. Girault, and G. Goessler, Adaptor Synthesis for Real-Time Components, TACAS 2007
DOI : 10.1007/978-3-540-71209-1_16

F. Martinelli and I. Matteucci, Synthesis of Local Controller Programs for Enforcing Global Security Properties, 2008 Third International Conference on Availability, Reliability and Security, 2008.
DOI : 10.1109/ARES.2008.196

M. Autili, P. Inverardi, A. Navarra, and M. Tivoli, SYNTHESIS: A Tool for Automatically Assembling Correct and Distributed Component-Based Systems, 29th International Conference on Software Engineering (ICSE'07), 2007.
DOI : 10.1109/ICSE.2007.84

J. Ligatti, L. Bauer, and D. Walker, Edit automata: enforcement mechanisms for run-time security policies, International Journal of Information Security, vol.3, issue.1-2, 2005.
DOI : 10.1007/s10207-004-0046-8
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.114.6074

P. Inverardi, D. Yankelevich, and A. Wolf, Static checking of system behaviors using derived component assumptions, ACM Transactions on Software Engineering and Methodology, vol.9, issue.3, 2000.
DOI : 10.1145/352591.352593

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

T. Margaria, M. Bakera, C. Kubczak, S. Naujokat, and B. Steffen, Automatic Generation of the SWS- Challenge Mediator with jABC/ABC, Semantic Web Services Challenge -Results from the First Year, pp.978-978, 2009.
DOI : 10.1007/978-0-387-72496-6_7

C. Kubczak, T. Margaria, B. Steffen, and R. Nagel, Service-oriented Mediation with jABC/jETI, in /Semantic Web Services Challenge - Results from the First Year, pp.978-978, 2009.

T. Margaria, M. G. Hinchey, H. Raffelt, J. L. Rash, C. A. Rouff et al., Completing and Adapting Models of Biological Processes, IFIP Conference on Biologically Inspired Cooperative Computing, IFIP Series N. 216, 2006.
DOI : 10.1007/978-0-387-34733-2_5

H. Raffelt and B. Steffen, LearnLib, Proceedings of the 10th international workshop on Formal methods for industrial critical systems , FMICS '05, pp.377-380
DOI : 10.1145/1081180.1081189
URL : https://hal.archives-ouvertes.fr/inria-00459959

H. Hungar, O. Niese, and B. Steffen, Domain-Specific Optimization in Automata Learning, CAV, vol.2003, pp.315-327
DOI : 10.1007/978-3-540-45069-6_31

H. Hungar and B. Steffen, Behavior-based model construction, International Journal on Software Tools for Technology Transfer, vol.4, issue.1, pp.4-14, 2004.
DOI : 10.1007/s10009-004-0139-8

H. Raffelt, B. Steffen, T. Berg, and T. Margaria, LearnLib, Proceedings of the 10th international workshop on Formal methods for industrial critical systems , FMICS '05
DOI : 10.1145/1081180.1081189
URL : https://hal.archives-ouvertes.fr/inria-00459959