A. Bondavalli, S. Chiaradonna, and F. D. Giandomenico, Model-based evaluation as a support to the design of dependable systems, Dependable Computing Systems: Paradigms, Performance Issues, and Applications, pp.57-86, 2005.

P. Inverardi, V. Issarny, and R. Spalazzese, A Theory of Mediators for Eternal Connectors, Part II, pp.236-250, 2010.
DOI : 10.1007/978-3-642-16561-0_25
URL : https://hal.archives-ouvertes.fr/inria-00512443

R. Spalazzese, P. Inverardi, and V. Issarny, Towards a formalization of mediating connectors for on the fly interoperability, 2009 Joint Working IEEE/IFIP Conference on Software Architecture & European Conference on Software Architecture, pp.345-348, 2009.
DOI : 10.1109/WICSA.2009.5290664
URL : https://hal.archives-ouvertes.fr/inria-00404308

R. Spalazzese and P. Inverardi, Mediating Connector Patterns for Components Interoperability, ECSA 2010, pp.335-343, 2010.
DOI : 10.1007/11678564_12
URL : https://hal.archives-ouvertes.fr/inria-00512435

R. Spalazzese and P. Inverardi, Components Interoperability through Mediating Connector Patterns, Electronic Proceedings in Theoretical Computer Science, vol.37, pp.27-41, 2010.
DOI : 10.4204/EPTCS.37.3
URL : http://doi.org/10.4204/eptcs.37.3

A. Bertolino, A. Calabró, D. Giandomenico, F. Nostro, and N. , Dependability and Performance Assessment of Dynamic CONNECTed Systems, SFM 2011, pp.350-392, 2011.
DOI : 10.1007/978-3-642-21455-4_11
URL : https://hal.archives-ouvertes.fr/hal-00647701

P. Masci, M. Martinucci, D. Giandomenico, and F. , Towards Automated Dependability Analysis of Dynamically Connected Systems, 2011 Tenth International Symposium on Autonomous Decentralized Systems, pp.139-146, 2011.
DOI : 10.1109/ISADS.2011.23
URL : https://hal.archives-ouvertes.fr/inria-00573410

P. Masci, N. Nostro, D. Giandomenico, and F. , On Enabling Dependability Assurance in Heterogeneous Networks through Automated Model-Based Analysis, SERENE 2011, pp.78-92, 2011.
DOI : 10.1109/TNET.2010.2055886
URL : https://hal.archives-ouvertes.fr/hal-00647365

W. H. Sanders and L. M. Malhis, Dependability evaluation using composed SAN-based reward models, Journal of Parallel and Distributed Computing, vol.15, issue.3, pp.238-254, 1992.
DOI : 10.1016/0743-7315(92)90006-9
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.16.3928

D. Daly, D. D. Deavours, J. M. Doyle, P. G. Webster, W. H. Sanders et al., Möbius: An Extensible Tool for Performance and Dependability Modeling, TOOLS 2000, pp.332-336, 2000.

M. Weiser, Hot topics-ubiquitous computing, Computer, vol.26, issue.10, 1993.
DOI : 10.1109/2.237456

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

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

K. Okumura, A formal protocol conversion method, pp.30-37, 1986.

G. Wiederhold, Mediators in the architecture of future information systems, Computer, vol.25, issue.3, pp.38-49, 1992.
DOI : 10.1109/2.121508

D. Garlan and M. Shaw, AN INTRODUCTION TO SOFTWARE ARCHITECTURE, 1994.
DOI : 10.1142/9789812798039_0001

E. Gamma, R. Helm, R. Johnson, and J. Vlissides, Design Patterns: Elements of Resusable Object-Oriented Software, 1995.

M. Wermelinger and J. L. Fiadeiro, Connectors for mobile programs, IEEE Transactions on Software Engineering, vol.24, issue.5, pp.331-341, 1998.
DOI : 10.1109/32.685257

B. Spitznagel, Compositional Transformation of Software Connectors, 2004.

M. Nezhad, H. R. Xu, G. Y. Benatallah, and B. , Protocol-aware matching of web service interfaces for adapter development, Proceedings of the 19th International Conference on World Wide Web, pp.731-740, 2010.

E. Cimpian and A. Mocan, WSMX Process Mediation Based on Choreographies, BPM 2005, pp.130-143, 2006.
DOI : 10.1007/11678564_12

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

S. K. Williams, S. A. Battle, and J. E. Cuadrado, Protocol Mediation for Adaptation in Semantic Web Services, ESWC 2006, pp.635-649, 2006.
DOI : 10.1007/11762256_46

L. Cavallaro, D. Nitto, E. Pradella, and M. , An Automatic Approach to Enable Replacement of Conversational Services, ServiceWave 2009, pp.159-174, 2009.
DOI : 10.1007/978-3-642-10383-4_11

M. Dumas, M. Spork, and K. Wang, Adapt or Perish: Algebra and Visual Notation for Service Interface Adaptation, BPM 2006, pp.65-80, 2006.
DOI : 10.1007/11841760_6

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

J. L. Fiadeiro, A. Lopes, and M. Wermelinger, Theory and practice of software architectures, Tutorial at the 16th IEEE Conference on Automated Software Engineering, 2001.

A. Lopes, M. Wermelinger, and J. L. Fiadeiro, Higher-order architectural connectors, ACM Transactions on Software Engineering and Methodology, vol.12, issue.1, pp.64-104, 2003.
DOI : 10.1145/839268.839272

M. A. Barbosa and L. S. Barbosa, Specifying Software Connectors, ICTAC 2004, pp.52-67, 2005.
DOI : 10.1007/978-3-540-31862-0_6

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

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

M. Tivoli and P. Inverardi, Failure-free coordinators synthesis for component-based architectures, Science of Computer Programming, vol.71, issue.3, pp.181-212, 2008.
DOI : 10.1016/j.scico.2008.03.001

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

D. M. Nicol, W. H. Sanders, and K. S. Trivedi, Model-based evaluation: from dependability to security, IEEE Transactions on Dependable and Secure Computing, vol.1, issue.1, pp.48-65, 2004.
DOI : 10.1109/TDSC.2004.11
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.75.6951

P. Pietzuch, B. Shand, and J. Bacon, Composite event detection as a generic middleware extension, IEEE Network, vol.18, issue.1, pp.44-55, 2004.
DOI : 10.1109/MNET.2004.1265833

E. A. Hussein, H. Abdel-wahab, and K. Maly, HiFi: A New Monitoring Architecture for Distributed Systems Management, Proceedings of ICDCS, pp.171-178, 1999.

K. Mishra and K. S. Trivedi, Model Based Approach for Autonomic Availability Management, ISAS 2006, pp.1-16, 2006.
DOI : 10.1007/11955498_1

R. Pietrantuono, S. Russo, and K. S. Trivedi, Online Monitoring of Software System Reliability, 2010 European Dependable Computing Conference, pp.209-218, 2010.
DOI : 10.1109/EDCC.2010.33