{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,23]],"date-time":"2025-10-23T16:43:35Z","timestamp":1761237815713,"version":"3.38.0"},"publisher-location":"Berlin, Heidelberg","reference-count":68,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642214547"},{"type":"electronic","value":"9783642214554"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-21455-4_11","type":"book-chapter","created":{"date-parts":[[2011,6,10]],"date-time":"2011-06-10T14:00:01Z","timestamp":1307714401000},"page":"350-392","source":"Crossref","is-referenced-by-count":8,"title":["Dependability and Performance Assessment of Dynamic CONNECTed Systems"],"prefix":"10.1007","author":[{"given":"Antonia","family":"Bertolino","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Antonello","family":"Calabr\u00f3","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Felicita","family":"Di Giandomenico","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nicola","family":"Nostro","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"2","key":"11_CR1","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1145\/190.191","volume":"2","author":"M. Ajmone Marsan","year":"1984","unstructured":"Ajmone Marsan, M., Balbo, G., Conte, G.: A class of generalized stochastic petri nets for the performance evaluation of multiprocessor systems. ACM Transactions on Computer Systems\u00a02(2), 93\u2013122 (1984)","journal-title":"ACM Transactions on Computer Systems"},{"key":"11_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"132","DOI":"10.1007\/3-540-18086-9_23","volume-title":"Advances in Petri Nets 1987","author":"M. Ajmone Marsan","year":"1987","unstructured":"Ajmone Marsan, M., Chiola, G.: On Petri nets with deterministic and exponentially distributed firing times. In: Rozenberg, G. (ed.) APN 1987. LNCS, vol.\u00a0266, pp. 132\u2013145. Springer, Heidelberg (1987)"},{"issue":"1","key":"11_CR3","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1109\/TDSC.2004.2","volume":"1","author":"A. Avizienis","year":"2004","unstructured":"Avizienis, A., Laprie, J.-C., Randell, B., Landwehr, C.: Basic concepts and taxonomy of dependable and secure computing. IEEE Transactions on Dependable and Secure Computing\u00a01(1), 11\u201333 (2004)","journal-title":"IEEE Transactions on Dependable and Secure Computing"},{"key":"11_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"84","DOI":"10.1007\/3-540-44667-2_3","volume-title":"Lectures on Formal Methods and Performance Analysis","author":"G. Balbo","year":"2001","unstructured":"Balbo, G.: Introduction to stochastic petri nets. In: Katoen, J.-P., Brinksma, H., Hermanns, H. (eds.) EEF School 2000 and FMPA 2000. LNCS, vol.\u00a02090, pp. 84\u2013155. Springer, Heidelberg (2001)"},{"key":"11_CR5","doi-asserted-by":"crossref","unstructured":"Bertolino, A., Calabr\u00f2, A., Di Giandomenico, F., Martinucci, M., Masci, P.: Automated refinement of dependability analysis through monitoring in dynamically connected systems. In: Proc. IEEE International Symposium on Autonomous Decentralized Systems, Tokyo, Japan (March 2011, to appear)","DOI":"10.1109\/ISADS.2011.46"},{"key":"11_CR6","first-page":"57","volume-title":"Dependable Computing Systems: Paradigms, Performance Issues, and Applications","author":"A. Bondavalli","year":"2005","unstructured":"Bondavalli, A., Chiaradonna, S., Di Giandomenico, F.: Model-based evaluation as a support to the design of dependable systems. In: Diab, H.B., Zomaya, A.Y. (eds.) Dependable Computing Systems: Paradigms, Performance Issues, and Applications, pp. 57\u201386. Wiley, Chichester (2005)"},{"key":"11_CR7","doi-asserted-by":"crossref","unstructured":"Baresi, L., Ghezzi, C., Di Nitto, E.: Toward open-world software: issues and challenges. Computer\u00a039(10) (2006)","DOI":"10.1109\/MC.2006.362"},{"key":"11_CR8","first-page":"193","volume-title":"ICSOC 2004: Proceedings of the 2nd International Conference on Service Oriented Computing","author":"L. Baresi","year":"2004","unstructured":"Baresi, L., Ghezzi, C., Guinea, S.: Smart monitors for composed services. In: ICSOC 2004: Proceedings of the 2nd International Conference on Service Oriented Computing, pp. 193\u2013202. ACM, New York (2004)"},{"issue":"1","key":"11_CR9","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1142\/S0218126698000067","volume":"8","author":"A. Bobbio","year":"1998","unstructured":"Bobbio, A., Puliafito, A., Telek, M., Trivedi, K.S.: Recent developments in non-Markovian stochastic Petri nets. Journal of Circuits, Systems and Computers\u00a08(1), 119\u2013158 (1998)","journal-title":"Journal of Circuits, Systems and Computers"},{"key":"11_CR10","first-page":"717","volume-title":"COMPSAC 2002","author":"U.A. Buy","year":"2002","unstructured":"Buy, U.A., Singal, G.: Toward efficient algorithms for generating compact petri nets from labeled transition systems. In: COMPSAC 2002, pp. 717\u2013722. IEEE Computer Society, Washington, DC, USA (2002)"},{"issue":"6","key":"11_CR11","first-page":"339","volume":"13","author":"A. Bobbio","year":"1998","unstructured":"Bobbio, A., Telek, M.: Non-exponential stochastic Petri nets: an overview of methods and techniques. Computer Systems Science and Engineering\u00a013(6), 339\u2013351 (1998)","journal-title":"Computer Systems Science and Engineering"},{"key":"11_CR12","series-title":"IMA Volumes in Mathematics and its Applications","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1007\/978-1-4613-8351-2_11","volume-title":"Linear Algebra, Markov Chains, and Queueing Models","author":"G. Ciardo","year":"1993","unstructured":"Ciardo, G., Blakemore, A., Chimento, P.F., Muppala, J.K., Trivedi, K.S.: Automated generation and analysis of markov reward models using stochastic reward nets. In: Meyer, C., Plemmons, R.J. (eds.) Linear Algebra, Markov Chains, and Queueing Models. IMA Volumes in Mathematics and its Applications, vol.\u00a048, pp. 145\u2013191. Springer, Heidelberg (1993)"},{"key":"11_CR13","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1109\/PNPM.2001.953373","volume-title":"9th Int. Workshop on Petri Nets and Performance Models","author":"G. Clark","year":"2001","unstructured":"Clark, G., Courtney, T., Daly, D., Deavours, D.D., Derisavi, S., Doyle, J.M., Sanders, W.H., Webster, P.G.: The Mobius modeling tool. In: 9th Int. Workshop on Petri Nets and Performance Models, Aachen, Germany, pp. 241\u2013250. IEEE Computer Society Press, Los Alamitos (2001)"},{"key":"11_CR14","first-page":"181","volume-title":"ACSD 2009","author":"J. Carmona","year":"2009","unstructured":"Carmona, J., Cortadella, J., Kishinevsky, M.: Genet: A tool for the synthesis and mining of petri nets. In: ACSD 2009, pp. 181\u2013185. IEEE Computer Society, Washington, DC, USA (2009)"},{"issue":"7","key":"11_CR15","doi-asserted-by":"publisher","first-page":"506","DOI":"10.1109\/32.297939","volume":"20","author":"G. Ciardo","year":"1994","unstructured":"Ciardo, G., German, R., Lindemann, C.: A characterization of the stochastic process underlying a stochastic petri net. IEEE Transactions on Software Engineering\u00a020(7), 506\u2013515 (1994)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"11_CR16","doi-asserted-by":"crossref","unstructured":"Csertan, G., Huszerl, G., Majzik, I., Pap, Z., Pataricza, A., Varro, D., Varr, D.: Viatra - visual automated transformations for formal verification and validation of uml models. In: 17th IEEE International Conference on Automated Software Engineering (ASE 2002), pp. 267\u2013270 (2002)","DOI":"10.1109\/ASE.2002.1115027"},{"issue":"8","key":"11_CR17","doi-asserted-by":"publisher","first-page":"859","DOI":"10.1109\/12.707587","volume":"47","author":"J. Cortadella","year":"1998","unstructured":"Cortadella, J., Kishinevsky, M., Lavagno, L., Yakovlev, A.: Deriving petri nets from finite transition systems. IEEE Transactions on Computers\u00a047(8), 859\u2013882 (1998)","journal-title":"IEEE Transactions on Computers"},{"issue":"1-3","key":"11_CR18","doi-asserted-by":"publisher","first-page":"339","DOI":"10.1016\/0166-5316(94)90021-3","volume":"20","author":"H. Choi","year":"1994","unstructured":"Choi, H., Kulkarni, V.G., Trivedi, K.S.: Performance modeling using Markov regenerative stochastic Petri nets. Performance Evaluation\u00a020(1-3), 339\u2013356 (1994)","journal-title":"Performance Evaluation"},{"issue":"1","key":"11_CR19","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0169-023X(94)90006-X","volume":"14","author":"S. Chakravarthy","year":"1994","unstructured":"Chakravarthy, S., Mishra, D.: Snoop: An expressive event specification language for active databases. Data & Knowledge Engineering\u00a014(1), 1\u201326 (1994)","journal-title":"Data & Knowledge Engineering"},{"key":"11_CR20","doi-asserted-by":"crossref","unstructured":"Cugola, G., Margara, A.: TESLA: a formally defined event specification language. In: Proceedings of DEBS, pp. 50\u201361 (2010)","DOI":"10.1145\/1827418.1827427"},{"key":"11_CR21","unstructured":"CONNECT Consortium. Deliverable 5.1 \u2013 Conceptual Models for Assessment & Assurance of Dependability, Security and Privacy in the Eternal Connected World (2010)"},{"key":"11_CR22","unstructured":"CONNECT Consortium. Deliverable 4.2 \u2013 Further development of learning techniques (2011)"},{"key":"11_CR23","unstructured":"CONNECT Consortium. Deliverable 5.2 \u2013 Design of Approaches for Dependability and Initial Prototypes (2011)"},{"key":"11_CR24","unstructured":"CONNECT Consortium. Deliverable 6.1 \u2013 Experiment scenarios, prototypes and report Iteration 1 (2011)"},{"key":"11_CR25","unstructured":"EU FP7 Project Connect (FP7\u2013231167) (2009-2013)"},{"key":"11_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"263","DOI":"10.1007\/978-3-642-16561-0_27","volume-title":"Leveraging Applications of Formal Methods, Verification, and Validation","author":"F. Giandomenico Di","year":"2010","unstructured":"Di Giandomenico, F., Kwiatkowska, M., Martinucci, M., Masci, P., Qu, H.: Dependability analysis and verification for connected systems. In: Margaria, T., Steffen, B. (eds.) ISoLA 2010. LNCS, vol.\u00a06416, pp. 263\u2013277. Springer, Heidelberg (2010)"},{"key":"11_CR27","unstructured":"Drools fusion: Complex event processor, http:\/\/www.jboss.org\/drools\/drools-fusion.html"},{"issue":"4","key":"11_CR28","doi-asserted-by":"publisher","first-page":"315","DOI":"10.1007\/BF00264611","volume":"27","author":"A. Ehrenfeucht","year":"1990","unstructured":"Ehrenfeucht, A., Rozenberg, G.: Partial (set) 2-structures. Part I: basic notions and the representation problem. Acta Inf.\u00a027(4), 315\u2013342 (1990)","journal-title":"Acta Inf."},{"key":"11_CR29","unstructured":"Esper: Event stream and complex event processing for java, http:\/\/www.espertech.com\/products\/esper.php"},{"issue":"6","key":"11_CR30","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1109\/52.542297","volume":"13","author":"C. Fidge","year":"1996","unstructured":"Fidge, C.: Fundamentals of Distributed System Observation. IEEE Softw.\u00a013(6), 77\u201383 (1996)","journal-title":"IEEE Softw."},{"issue":"3","key":"11_CR31","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1002\/spe.4380160304","volume":"16","author":"J. Gait","year":"1986","unstructured":"Gait, J.: A Probe Effect in Concurrent Programs. Softw., Pract. Exper.\u00a016(3), 225\u2013233 (1986)","journal-title":"Softw., Pract. Exper."},{"key":"11_CR32","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"156","DOI":"10.1007\/3-540-44667-2_4","volume-title":"Lectures on Formal Methods and Performance Analysis","author":"R. German","year":"2001","unstructured":"German, R.: Non-Markovian analysis. In: Brinksma, E., Hermanns, H., Katoen, J.P. (eds.) EEF School 2000 and FMPA 2000. LNCS, vol.\u00a02090, pp. 156\u2013182. Springer, Heidelberg (2001)"},{"key":"11_CR33","series-title":"LNCS","first-page":"350","volume-title":"SFM 2011","author":"P. Grace","year":"2011","unstructured":"Grace, P., Georgantas, N., Bennaceur, A., Blair, G., Chauvel, F., Issarny, V., Paolucci, M., Saadi, R., Souville, B., Sykes, D.: The Connect architecture. In: Bernardo, M., Issarny, V. (eds.) SFM 2011. LNCS, vol.\u00a06659, pp. 350\u2013392. Springer, Heidelberg (2011)"},{"key":"11_CR34","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1007\/3-540-44667-2_2","volume-title":"Lectures on Formal Methods and Performance Analysis","author":"B.R. Haverkort","year":"2001","unstructured":"Haverkort, B.R.: Markovian models for performance and dependability evaluation. In: Katoen, J.-P., Brinksma, H., Hermanns, H. (eds.) EEF School 2000 and FMPA 2000. LNCS, vol.\u00a02090, pp. 38\u201383. Springer, Heidelberg (2001)"},{"key":"11_CR35","unstructured":"Hussein, E.A.-S., Abdel-wahab, H., Maly, K.: HiFi: A New Monitoring Architecture for Distributed Systems Management. In: Proceedings of ICDCS, pp. 171\u2013178 (1999)"},{"issue":"1","key":"11_CR36","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1007\/s00165-005-0082-9","volume":"18","author":"H. Hallal","year":"2006","unstructured":"Hallal, H., Boroday, S., Petrenko, A., Ulrich, A.: A formal approach to property testing in causally consistent distributed traces. Formal Asp. Comput.\u00a018(1), 63\u201383 (2006)","journal-title":"Formal Asp. Comput."},{"key":"11_CR37","series-title":"Decision and Control","volume-title":"Dynamic Probabilistic Systems: Markov Models","author":"R.A. Howard","year":"1971","unstructured":"Howard, R.A.: Dynamic Probabilistic Systems: Markov Models. Decision and Control, vol.\u00a01. John Wiley and Sons, New York (1971)"},{"key":"11_CR38","unstructured":"IEEE Std 610.12-1990: IEEE Standard Glossary of Software Engineering Terminology (1990)"},{"key":"11_CR39","unstructured":"Jbi: Java business integration, http:\/\/jcp.org\/aboutJava\/communityprocess\/final\/jsr208"},{"issue":"2","key":"11_CR40","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1145\/13677.22723","volume":"5","author":"J. Joyce","year":"1987","unstructured":"Joyce, J., Lomow, G., Slind, K., Unger, B.: Monitoring distributed systems. ACM Trans. Comput. Syst.\u00a05(2), 121\u2013150 (1987)","journal-title":"ACM Trans. Comput. Syst."},{"issue":"7","key":"11_CR41","doi-asserted-by":"publisher","first-page":"558","DOI":"10.1145\/359545.359563","volume":"21","author":"L. Lamport","year":"1978","unstructured":"Lamport, L.: Time, clocks, and the ordering of events in a distributed system. Commun. ACM\u00a021(7), 558\u2013565 (1978)","journal-title":"Commun. ACM"},{"key":"11_CR42","doi-asserted-by":"crossref","unstructured":"Laprie, J.C.: Dependable computing and fault tolerance: concepts and terminology. In: Twenty-Fifth International Symposium on Fault-Tolerant Computing, 1995, Highlights from Twenty-Five Years, pages\u00a02+ (1995)","DOI":"10.1109\/FTCSH.1995.532603"},{"key":"11_CR43","unstructured":"Laprie, J.C.: From dependability to resilience. In: 38th IEEE\/IFIP Int. Conf. on Dependable Systems and Networks (2008)"},{"issue":"1","key":"11_CR44","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1109\/90.282603","volume":"2","author":"W.E. Leland","year":"1994","unstructured":"Leland, W.E., Taqqu, M.S., Willinger, W., Wilson, D.V.: On the self-similar nature of ethernet traffic (extended version). IEEE\/ACM Transactions on Networking\u00a02(1), 1\u201315 (1994)","journal-title":"IEEE\/ACM Transactions on Networking"},{"issue":"7","key":"11_CR45","doi-asserted-by":"publisher","first-page":"817","DOI":"10.1016\/j.parco.2004.04.001","volume":"30","author":"M.L. Massie","year":"2004","unstructured":"Massie, M.L., Chun, B.N., Culler, D.E.: The ganglia distributed monitoring system: design, implementation, and experience. Parallel Computing\u00a030(7), 817 (2004)","journal-title":"Parallel Computing"},{"issue":"3-4","key":"11_CR46","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1016\/0166-5316(92)90002-X","volume":"14","author":"J.F. Meyer","year":"1992","unstructured":"Meyer, J.F.: Performability: A retrospective and some pointers to the future. Perform. Eval.\u00a014(3-4), 139\u2013156 (1992)","journal-title":"Perform. Eval."},{"key":"11_CR47","series-title":"Operations Research and Management Science","doi-asserted-by":"publisher","first-page":"445","DOI":"10.1007\/978-1-4757-4828-4_12","volume-title":"Computational Probability","author":"J.K. Muppala","year":"2000","unstructured":"Muppala, J.K., Fricks, R.M., Trivedi, K.S.: Techniques for system dependability evaluation. In: Grassmann, W.K. (ed.) Computational Probability. Operations Research and Management Science, vol.\u00a024, pp. 445\u2013480. Kluwer Academic Publishers, The Netherlands (2000)"},{"key":"11_CR48","volume-title":"Concurrency: state models & Java programs","author":"J. Magee","year":"2006","unstructured":"Magee, J., Kramer, J.: Concurrency: state models & Java programs. John Wiley & Sons, New York (2006)"},{"key":"11_CR49","first-page":"215","volume-title":"1984 Real-Time Systems Symposium","author":"A. Movaghar","year":"1984","unstructured":"Movaghar, A., Meyer, J.F.: Performability modelling with stochastic activity networks. In: 1984 Real-Time Systems Symposium, Austin, TX, pp. 215\u2013224. IEEE Computer Society Press, Los Alamitos (December 1984)"},{"key":"11_CR50","volume-title":"Proc. IEEE International Symposium on Autonomous Decentralized Systems","author":"P. Masci","year":"2011","unstructured":"Masci, P., Martinucci, M., Di Giandomenico, F.: Towards automated dependability analysis of dynamically connected systems. In: Proc. IEEE International Symposium on Autonomous Decentralized Systems. IEEE, Tokyo (March 2011, to appear)"},{"issue":"9","key":"11_CR51","doi-asserted-by":"publisher","first-page":"913","DOI":"10.1109\/TC.1982.1676110","volume":"31","author":"M.K. Molloy","year":"1982","unstructured":"Molloy, M.K.: Performance analysis using stochastic Petri nets. IEEE Transactions on Computers\u00a031(9), 913\u2013917 (1982)","journal-title":"IEEE Transactions on Computers"},{"key":"11_CR52","unstructured":"Mansouri-Samani, M., Sloman, M.: Monitoring distributed systems. pp. 303\u2013347 (1994)"},{"issue":"2","key":"11_CR53","doi-asserted-by":"publisher","first-page":"96","DOI":"10.1088\/0967-1846\/4\/2\/004","volume":"4","author":"M. Mansouri-Samani","year":"1997","unstructured":"Mansouri-Samani, M., Sloman, M.: GEM: a generalized event monitoring language for distributed systems. Distributed Systems Engineering\u00a04(2), 96\u2013108 (1997)","journal-title":"Distributed Systems Engineering"},{"key":"11_CR54","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/11955498_1","volume-title":"Service Availability","author":"K. Mishra","year":"2006","unstructured":"Mishra, K., Trivedi, K.S.: Model based approach for autonomic availability management. In: Penkler, D., Reitenspiess, M., Tam, F. (eds.) ISAS 2006. LNCS, vol.\u00a04328, pp. 1\u201316. Springer, Heidelberg (2006)"},{"key":"11_CR55","doi-asserted-by":"publisher","first-page":"48","DOI":"10.1109\/TDSC.2004.11","volume":"1","author":"D.M. Nicol","year":"2004","unstructured":"Nicol, D.M., Sanders, W.H., Trivedi, K.S.: Model-based evaluation: from dependability to security. IEEE Transactions on Dependable and Secure Computing\u00a01, 48\u201365 (2004)","journal-title":"IEEE Transactions on Dependable and Secure Computing"},{"issue":"1","key":"11_CR56","doi-asserted-by":"publisher","first-page":"44","DOI":"10.1109\/MNET.2004.1265833","volume":"18","author":"P.R. Pietzuch","year":"2004","unstructured":"Pietzuch, P.R., Shand, B., Bacon, J.: Composite event detection as a generic middleware extension. IEEE Network\u00a018(1), 44\u201355 (2004)","journal-title":"IEEE Network"},{"key":"11_CR57","unstructured":"ReSIST Consortium. EU project ReSIST: Resilience for Survivability in IST. Deliverable D33: Resilience-explicit computing. Technical report (2008), http:\/\/www.resist-noe.org\/"},{"key":"11_CR58","first-page":"209","volume-title":"Proc. EDCC 2010 - 2010 European Dependable Computing Conference","author":"K.S. Trivedi","year":"2010","unstructured":"Trivedi, K.S., Pietrantuono, R., Russo, S.: Online monitoring of software system reliability. In: Proc. EDCC 2010 - 2010 European Dependable Computing Conference, pp. 209\u2013218. IEEE Computer Society, Los Alamitos (2010)"},{"key":"11_CR59","unstructured":"RPC: Model for programming in a distributed computing environment, http:\/\/msdn.microsoft.com\/enus\/library\/ms691207(VS.85).aspx"},{"key":"11_CR60","first-page":"62","volume-title":"FMICS 2005","author":"H. Raffelt","year":"2005","unstructured":"Raffelt, H., Steffen, B., Berg, T.: Learnlib: a library for automata learning and experimentation. In: FMICS 2005, pp. 62\u201371. ACM, New York (2005)"},{"key":"11_CR61","unstructured":"Ruleml: The rule markup initiative, http:\/\/ruleml.org"},{"issue":"6","key":"11_CR62","doi-asserted-by":"publisher","first-page":"72","DOI":"10.1109\/2.386988","volume":"28","author":"B.A. Schroeder","year":"1995","unstructured":"Schroeder, B.A.: On-Line Monitoring: A Tutorial. Computer\u00a028(6), 72\u201378 (1995)","journal-title":"Computer"},{"key":"11_CR63","unstructured":"Shah, B.P.: Analytic solution of stochastic activity networks with exponential and deterministic activities. Master\u2019s thesis, University of Arizona, USA (1993)"},{"key":"11_CR64","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"335","DOI":"10.1007\/978-3-642-15114-9_26","volume-title":"Software Architecture","author":"R. Spalazzese","year":"2010","unstructured":"Spalazzese, R., Inverardi, P.: Mediating connector patterns for components interoperability. In: Babar, M.A., Gorton, I. (eds.) ECSA 2010. LNCS, vol.\u00a06285, pp. 335\u2013343. Springer, Heidelberg (2010)"},{"key":"11_CR65","doi-asserted-by":"crossref","unstructured":"Spezialetti, M., Kearns, J.P.: A General Approach to Recognizing Event Occurences in Distributed Computations. In: ICDCS, pp. 300\u2013307 (1988)","DOI":"10.1109\/DCS.1988.12530"},{"key":"11_CR66","doi-asserted-by":"crossref","unstructured":"Sanders, W.H., Meyer, J.F.: Stochastic Activity Networks: formal definitions and concepts, pp. 315\u2013343 (2002)","DOI":"10.1007\/3-540-44667-2_9"},{"key":"11_CR67","volume-title":"Probability and Statistics with Reliability, Queueing and Computer Science Applications","author":"K.S. Trivedi","year":"2002","unstructured":"Trivedi, K.S.: Probability and Statistics with Reliability, Queueing and Computer Science Applications, 2nd edn. John Wiley & Sons, New York (2002)","edition":"2"},{"key":"11_CR68","first-page":"392","volume-title":"Proceedings of the 15th International Conference on Data Engineering","author":"D. Zimmer","year":"1999","unstructured":"Zimmer, D.: On the semantics of complex events in active database management systems. In: Proceedings of the 15th International Conference on Data Engineering, p. 392. IEEE Computer Society, Washington (1999)"}],"container-title":["Lecture Notes in Computer Science","Formal Methods for Eternal Networked Software Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-21455-4_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,6]],"date-time":"2025-03-06T02:53:14Z","timestamp":1741229594000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-21455-4_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642214547","9783642214554"],"references-count":68,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-21455-4_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}