L. Baresi, C. Ghezzi, and E. D. Nitto, Toward open-world software: issues and challenges, Computer, issue.10, p.39, 2006.
DOI : 10.1109/mc.2006.362

A. Bertolino, A. Calabrò, F. D. Giandomenico, and N. Nostro, Dependability and Performance Assessment of Dynamic CONNECTed Systems, Formal Methods for Eternal Networked Software Systems, pp.350-392, 2011.
DOI : 10.1007/978-3-642-21455-4_11

URL : https://hal.archives-ouvertes.fr/hal-00647701

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.

J. Carmona, J. Cortadella, and M. Kishinevsky, Genet: A Tool for the Synthesis and Mining of Petri Nets, 2009 Ninth International Conference on Application of Concurrency to System Design, pp.181-185, 2009.
DOI : 10.1109/ACSD.2009.6

S. Chakravarthy and D. Mishra, Snoop: An expressive event specification language for active databases, Data & Knowledge Engineering, vol.14, issue.1, pp.1-26, 1994.
DOI : 10.1016/0169-023X(94)90006-X

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.133.3862

R. Consortium, Eu project resist: Resilience for survivability in ist. deliverable d13: From resilience-building to resilience-scaling technologies: Directions, 2007.

G. Csertan, G. Huszerl, I. Majzik, and Z. Pap, Andras Pataricza, Daniel Varro, and Dniel Varr. Viatra -visual automated transformations for formal verification and validation of uml models, 17th IEEE International Conference on Automated Software Engineering (ASE'02), pp.267-270, 2002.

G. Cugola and A. Margara, TESLA, Proceedings of the Fourth ACM International Conference on Distributed Event-Based Systems, DEBS '10, pp.50-61, 2010.
DOI : 10.1145/1827418.1827427

A. Ehrenfeucht and G. Rozenberg, Partial (set) 2-structures, Acta Informatica, vol.27, issue.4, pp.315-342, 1990.
DOI : 10.1007/BF00264611

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

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

M. Mansouri-samani and M. Sloman, GEM: a generalized event monitoring language for distributed systems, Distributed Systems Engineering, vol.4, issue.2, pp.96-108, 1997.
DOI : 10.1088/0967-1846/4/2/004

A. Di-marco, C. Pompilio, A. Bertolino, A. Calabrò, F. Lonetti et al., Yet another meta-model to specify non-functional properties, Proceedings of the International Workshop on Quality Assurance for Service-Based Applications, QASBA '11, pp.9-16, 2011.
DOI : 10.1145/2031746.2031751

URL : https://hal.archives-ouvertes.fr/hal-00647360

P. Masci, M. Martinucci, and F. D. Giandomenico, 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, and F. D. Giandomenico, On Enabling Dependability Assurance in Heterogeneous Networks through Automated Model-Based Analysis, Proc. Third International Workshop, pp.78-92, 2011.
DOI : 10.1109/TNET.2010.2055886

URL : https://hal.archives-ouvertes.fr/hal-00647365

K. Mishra and K. S. Trivedi, Model Based Approach for Autonomic Availability Management, LNCS Lecture Notes in Computer Science, vol.4328, pp.1-16, 2006.
DOI : 10.1007/11955498_1

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. R. 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

K. S. Trivedi, R. Pietrantuono, and S. Russo, Online monitoring of software system reliability, Proc. EDCC '10 -2010 European Dependable Computing Conference, pp.209-218, 2010.

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

K. S. Trivedi, Probability and Statistics with Reliability, Queueing and Computer Science Applications, 2002.