[. Marsan, G. Balbo, and G. Conte, A class of generalized stochastic Petri nets for the performance evaluation of multiprocessor systems, ACM Transactions on Computer Systems, vol.2, issue.2, pp.93-122, 1984.
DOI : 10.1145/190.191

A. Avizienis, J. 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, 2000.
DOI : 10.1109/TDSC.2004.2

A. A. Bertolino, F. Calabrò, M. Di-giandomenico, P. Martinucci, ]. A. Mascibcg05 et al., Automated refinement of dependability analysis through monitoring in dynamically connected systems Model-based evaluation as a support to the design of dependable systems Toward open-world software: issues and challenges Smart monitors for composed services, Proc. IEEE International Symposium on Autonomous Decentralized Systems Dependable Computing Systems: Paradigms, Performance Issues, and Applications ICSOC '04: Proceedings of the 2nd international conference on Service oriented computing, pp.57-86, 2004.

A. Bobbio, A. Puliafito, M. Telek, K. S. Trivedibt98, ]. Bobbio et al., RECENT DEVELOPMENTS IN NON-MARKOVIAN STOCHASTIC PETRI NETS, COMPSAC '02, pp.119-158, 1998.
DOI : 10.1142/S0218126698000067

. Cbc-+-93-]-g, A. Ciardo, P. F. Blakemore, J. K. Chimento, K. S. Muppala et al., Automated generation and analysis of markov reward models using stochastic reward nets, Linear Algebra, Markov Chains, and Queueing Models, IMA Volumes in Mathematics and its Applications, pp.145-191, 1993.

G. Clark, T. Courtney, D. Daly, D. D. Deavours, S. Derisavi et al., The Mobius modeling tool Workshop on Petri Nets and Performance Models Genet: A tool for the synthesis and mining of petri nets A characterization of the stochastic process underlying a stochastic petri net Viatra -visual automated transformations for formal verification and validation of uml models, 9th Int ACSD '09CHM + 02] Gyorgy Csertan, Gabor Huszerl 17th IEEE International Conference on Automated Software Engineering (ASE'02), pp.241-250, 1994.

J. Cortadella, M. Kishinevsky, L. Lavagno, and A. Yakovlev, Deriving Petri nets from finite transition systems, IEEE Transactions on Computers, vol.47, issue.8, pp.859-882, 1998.
DOI : 10.1109/12.707587

V. [. Choi, K. S. Kulkarni, . [. Trivedi, D. Chakravarthy, and . Mishra, Performance modeling using Markov regenerative stochastic Petri nets. Performance Evaluation Snoop: An expressive event specification language for active databases [CM10] Gianpaolo Cugola and Alessandro Margara TESLA: a formally defined event specification language Deliverable 5.1 ? Conceptual Models for Assessment & Assurance of Dependability, Security and Privacy in the Eternal Connected World, Proceedings of DEBSCON10] CONNECT ConsortiumCON11a] CONNECT Consortium. Deliverable 4.2 ? Further development of learning techniques, 2011. [CON11b] CONNECT Consortium. Deliverable 5.2 ? Design of Approaches for Dependability and Initial PrototypesCON13] EU FP7 Project Connect, pp.1-3339, 1994.

. Dgkm-+-10-]-f, M. Di-giandomenico, M. Kwiatkowska, P. Martinucci, H. Masci et al., Dependability analysis and verification for connected systems [dro] Drools fusion: Complex event processor (set) 2-structures. Part I: basic notions and the representation problem, Proc. ISOLA 2010 - Leveraging Applications of Formal Methods, Verification, and Validation Esper: Event stream and complex event processing for java, pp.263-277315, 1990.

C. Fidgeger01, ]. R. Germanhav01-]-b, and . Haverkort, A Probe Effect in Concurrent Programs Non-Markovian analysis Lectures on Formal Methods and Performance Analysis [GG11] Nikolaos Georgantas and Paul Grace. The Connect architecture Markovian models for performance and dependability evaluation, Fundamentals of Distributed System Observation. IEEE Softw 11th Int. School on Formal Methods for the Design of Computer, Communication and Software Systems: Connectors for Eternal Networked Software Systems (SFM-11:CONNECT). LNCS series Lectures on Formal Methods and Performance Analysis, pp.77-83225, 1986.

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

H. Hallal, S. Boroday, A. Petrenko, and A. Ulrich, A formal approach to property testing in causally consistent distributed traces, Formal Aspects of Computing, vol.18, issue.1, pp.63-83, 2006.
DOI : 10.1007/s00165-005-0082-9

]. R. How71 and . Howard, Dynamic Probabilistic Systems: Markov Models, volume 1 of Decision and Control, IEEE Std, vol.610, pp.12-1990, 1971.

. Jbi, Monitoring distributed systems, ACM Trans. Comput. Syst, vol.5, issue.2, pp.121-150, 1987.

L. Lamport, . C. Timelap95-]-j, and . Laprie, Dependable computing and fault tolerance: concepts and terminology, Highlights from Twenty- Five Years'., Twenty-Fifth International Symposium on, pages 2+, 1995. [Lap08] J.C. Laprie. From dependability to resilience 38th IEEE/IFIP Int. Conf. On Dependable Systems and Networks, pp.558-565, 1978.

W. E. Leland, M. S. Taqqu, W. Willinger, and D. V. Wilson, On the self-similar nature of Ethernet traffic (extended version), IEEE/ACM Transactions on Networking, vol.2, issue.1
DOI : 10.1109/90.282603

M. L. Massie, B. N. Chun, and D. E. Culler, The ganglia distributed monitoring system: design, implementation, and experience, Parallel Computing, vol.30, issue.7, pp.817-840, 2004.
DOI : 10.1016/j.parco.2004.04.001

F. John, . [. Meyer, R. M. Muppala, K. S. Fricks, and . Trivedi, Performability: A retrospective and some pointers to the future Techniques for system dependability evaluation, of Operations Research and Management Science Concurrency: state models & Java programs, pp.3-4139, 1992.

J. [. Movaghar and . Meyer, Performability modelling with stochastic activity networks, 1984 Real-Time Systems Symposium, pp.215-224, 1984.

]. P. Mmdgar, M. Masci, F. Martinucci, M. K. Di-giandomenico, and . Molloy, Towards automated dependability analysis of dynamically connected systems Performance analysis using stochastic Petri nets Monitoring distributed systems GEM: a generalized event monitoring language for distributed systems, Proc. IEEE International Symposium on Autonomous Decentralized Systems. IEEEMSS97] Masoud Mansouri-Samani and Morris Sloman, pp.913-917, 1982.

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

D. M. Nicol, W. H. Sanders, K. S. Trivedi-[-psb04-]-p, B. Pietzuch, J. Shand et al., 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

R. , K. S. Trivedi, R. Pietrantuono, S. Russo-beth, and A. Schroeder, Online monitoring of software system reliability [rpc] RPC: Model for programming in a distributed computing environment. http://msdn.microsoft.com/en-us/library/ms691207(VS.85) Learnlib: a library for automata learning and experimentation [rul] Ruleml: The rule markup initiative On-Line Monitoring: A Tutorial Mediating connector patterns for components interoperability, ReS08] ReSIST Consortium. EU project ReSIST: Resilience for Survivability in IST. Deliverable D33: Resilience-explicit computing Proc. EDCC '10 -2010 European Dependable Computing Conference FMICS '05Sha93] B. P. Shah. Analytic solution of stochastic activity networks with exponential and deterministic activitiesSI10] Romina Spalazzese and Paola Inverardi Proceedings of ECSA2010, pp.209-218, 1993.

M. Spezialetti and J. P. Kearns, A General Approach to Recognizing Event Occurences in Distributed Computations, ICDCS, pp.300-307, 1988.

H. William, J. F. Sanders, . S. Meyertri02-]-k, and . Trivedi, Stochastic Activity Networks: formal definitions and concepts Probability and Statistics with Reliability, Queueing and Computer Science Applications On the semantics of complex events in active database management systems, Proceedings of the 15th International Conference on Data Engineering, pp.315-343, 1999.