. Activemq, A complete message broker. http://activemq.apache.org. [2] Drools fusion: Complex event processor

A. Avizienis, J. C. Laprie, B. Randell, and C. Landwehr, Basic concepts and taxonomy of dependable and secure computing, IEEE Transactions on Dependable and Secure Computing, vol.1, issue.1, pp.11-33, 2004.
DOI : 10.1109/TDSC.2004.2

L. Baresi, E. D. Nitto, and C. Ghezzi, Toward open-world software: Issues and challenges, Computer, vol.39, issue.10, pp.36-43, 2006.
DOI : 10.1109/MC.2006.362

A. Bertolino, A. Calabrò, F. Lonetti, and A. Sabetta, GLIMPSE, Proceedings of the 13th European Workshop on Dependable Computing, EWDC '11, pp.2010-2034, 2010.
DOI : 10.1145/1978582.1978598
URL : https://hal.archives-ouvertes.fr/hal-00647355

F. , D. Giandomenico, M. Kwiatkowska, M. Martinucci, P. Masci et al., Dependability analysis and verification for connected systems, ISOLA2010, pp.263-277, 2010.
URL : https://hal.archives-ouvertes.fr/inria-00534202

C. Forgy, Rete: A fast algorithm for the many pattern/many object pattern match problem, Artificial Intelligence, vol.19, issue.1, pp.17-37, 1982.
DOI : 10.1016/0004-3702(82)90020-0

R. M. Keller, Formal verification of parallel programs, Communications of the ACM, vol.19, issue.7, pp.371-384, 1976.
DOI : 10.1145/360248.360251

P. Masci, M. Martinucci, and F. D. Giandomenico, Towards automated dependability analysis of dinamically connected systems, ISADS2011, 2011.

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

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