{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,28]],"date-time":"2025-09-28T15:26:57Z","timestamp":1759073217222,"version":"3.41.0"},"publisher-location":"Cham","reference-count":20,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319665825"},{"type":"electronic","value":"9783319665832"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-66583-2_12","type":"book-chapter","created":{"date-parts":[[2017,8,12]],"date-time":"2017-08-12T02:02:48Z","timestamp":1502503368000},"page":"184-198","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["Model-Based Simulation in M\u00f6bius: An Efficient Approach Targeting Loosely Interconnected Components"],"prefix":"10.1007","author":[{"given":"Giulio","family":"Masetti","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Silvano","family":"Chiaradonna","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Felicita","family":"Di Giandomenico","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,8,13]]},"reference":[{"unstructured":"Adibi, M.: Test systems task force: IEEE 300-bus test case (1993). http:\/\/icseg.iti.illinois.edu\/ieee-300-bus-system","key":"12_CR1"},{"key":"12_CR2","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-84800-131-2","volume-title":"Handbook of Performability Engineering","author":"BM Amari","year":"2008","unstructured":"Amari, B.M.: Handbook of Performability Engineering. Springer, London (2008). doi: 10.1007\/978-1-84800-131-2"},{"key":"12_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"128","DOI":"10.1007\/11494744_9","volume-title":"Applications and Theory of Petri Nets 2005","author":"L Brenner","year":"2005","unstructured":"Brenner, L., Fernandes, P., Sales, A., Webber, T.: A framework to decompose GSPN models. In: Ciardo, G., Darondeau, P. (eds.) ICATPN 2005. LNCS, vol. 3536, pp. 128\u2013147. Springer, Heidelberg (2005). doi: 10.1007\/11494744_9"},{"issue":"1","key":"12_CR4","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1017\/S0021900200107338","volume":"31","author":"P Buchholz","year":"1994","unstructured":"Buchholz, P.: Exact and ordinary lumpability in finite Markov chains. J. Appl. Probab. 31(1), 59\u201375 (1994)","journal-title":"J. Appl. Probab."},{"unstructured":"Chiaradonna, S., Di Giandomenico, F., Masetti, G.: Efficient non-anonymus composition operator for modeling complex dependable systems. In: Tredan, G. (ed.) 12th European Dependable Computing Conference (EDCC 2016), Fast Abstracts Proceedings, Gothenburg, vol. abs\/1608.05874, September 2016","key":"12_CR5"},{"doi-asserted-by":"crossref","unstructured":"Chiaradonna, S., Lollini, P., Di Giandomenico, F.: On a modeling framework for the analysis of interdependencies in electric power systems. In: 37th Annual IEEE\/IFIP International Conference on Dependable Systems and Networks (DSN 2007), Edinburgh, pp. 185\u2013195, June 2007","key":"12_CR6","DOI":"10.1109\/DSN.2007.68"},{"unstructured":"Chiaradonna, S., Masetti, G., Di Giandomenico, F.: A stochastic modeling approach for an efficient dependability evaluation of large systems with non-anonymous interconnected components. Conference submission - Under review (2017)","key":"12_CR7"},{"issue":"1","key":"12_CR8","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1016\/0166-5316(93)90026-Q","volume":"18","author":"G Ciardo","year":"1993","unstructured":"Ciardo, G., Trivedi, K.S.: A decomposition approach for stochastic reward net models. Perform. Eval. 18(1), 37\u201359 (1993)","journal-title":"Perform. Eval."},{"doi-asserted-by":"crossref","unstructured":"Courtney, T., Gaonkar, S., Keefe, K., Rozier, E.W.D., Sanders, W.H.: M\u00f6bius 2.3: an extensible tool for dependability, security, and performance evaluation of large and complex system models. In: 39th Annual IEEE\/IFIP International Conference on Dependable Systems and Networks (DSN 2009), Estoril, pp. 353\u2013358 (2009)","key":"12_CR9","DOI":"10.1109\/DSN.2009.5270318"},{"issue":"10","key":"12_CR10","doi-asserted-by":"publisher","first-page":"956","DOI":"10.1109\/TSE.2002.1041052","volume":"28","author":"DD Deavours","year":"2002","unstructured":"Deavours, D.D., Clark, G., Courtney, T., Daly, D., Derisavi, S., Doyle, J.M., Sanders, W.H., Webster, P.G.: The M\u00f6bius framework and its implementation. IEEE Trans. Softw. Eng. 28(10), 956\u2013969 (2002)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"12_CR11","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1016\/j.laa.2004.01.006","volume":"386","author":"S Derisavi","year":"2004","unstructured":"Derisavi, S., Kemper, P., Sanders, W.H.: Symbolic state-space exploration and numerical analysis of state-sharing composed models. Linear Algebra Appl. 386, 137\u2013166 (2004). Special Issue on the Conference on the Numerical Solution of Markov Chains","journal-title":"Linear Algebra Appl."},{"key":"12_CR12","series-title":"Information & Communication Technologies","volume-title":"Critical Infrastructure Security: Assessment, Prevention, Detection, Response","author":"F Flammini","year":"2012","unstructured":"Flammini, F.: Critical Infrastructure Security: Assessment, Prevention, Detection, Response. Information & Communication Technologies. WIT Press, Southampton (2012)"},{"key":"12_CR13","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1007\/978-1-4615-2241-6_12","volume-title":"Computations with Markov Chains","author":"J Hillston","year":"1995","unstructured":"Hillston, J.: Compositional Markovian modelling using a process algebra. In: Stewart, W.J. (ed.) Computations with Markov Chains, pp. 177\u2013196. Springer, Boston (1995). doi: 10.1007\/978-1-4615-2241-6_12"},{"unstructured":"Illinois Center for a Smarter Electric Grid: June 2016 texas 2000 synthetic test case. http:\/\/icseg.iti.illinois.edu\/synthetic-power-cases\/texas2000-june2016","key":"12_CR14"},{"key":"12_CR15","volume-title":"Finite Markov Chains","author":"JG Kemeny","year":"1983","unstructured":"Kemeny, J.G., Snell, J.L.: Finite Markov Chains, 3rd edn. Springer, New York (1983)","edition":"3"},{"doi-asserted-by":"crossref","unstructured":"Lam, V.V., Buchholz, P., Sanders, W.H.: A component-level path-based simulation approach for efficient analysis of large Markov models. In: Kuhl, M.E., Steiger, N.M., Armstrong, F.B., Joines, J.A. (eds.) 37th Conference on Winter Simulation, Orlando, pp. 584\u2013590 (2005)","key":"12_CR16","DOI":"10.1109\/WSC.2005.1574298"},{"key":"12_CR17","series-title":"Dependable Computing and Fault-Tolerant Systems","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1007\/978-3-7091-9123-1_10","volume-title":"Dependable Computing for Critical Applications","author":"WH Sanders","year":"1991","unstructured":"Sanders, W.H., Meyer, J.F.: A unified approach for specifying measures of performance, dependability and performability. In: Avizienis, A., Laprie, J. (eds.) Dependable Computing for Critical Applications. Dependable Computing and Fault-Tolerant Systems, vol. 4, pp. 215\u2013237. Springer, Vienna (1991). doi: 10.1007\/978-3-7091-9123-1_10"},{"key":"12_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"315","DOI":"10.1007\/3-540-44667-2_9","volume-title":"Lectures on Formal Methods and PerformanceAnalysis","author":"WH Sanders","year":"2001","unstructured":"Sanders, W.H., Meyer, J.F.: Stochastic activity networks: formal definitions and concepts*. In: Brinksma, E., Hermanns, H., Katoen, J.-P. (eds.) EEF School 2000. LNCS, vol. 2090, pp. 315\u2013343. Springer, Heidelberg (2001). doi: 10.1007\/3-540-44667-2_9"},{"key":"12_CR19","series-title":"Informatik-Fachberichte","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-76930-6_20","volume-title":"Fault-Tolerant Computing Systems","author":"LA Tomek","year":"1991","unstructured":"Tomek, L.A., Trivedi, K.S.: Fixed point iteration in availability modeling. In: Cin, M.D., Hohl, W. (eds.) Fault-Tolerant Computing Systems. Informatik-Fachberichte, vol. 283. Springer, Heidelberg (1991). doi: 10.1007\/978-3-642-76930-6_20"},{"key":"12_CR20","volume-title":"Probability and Statistics with Reliability, Queuing and Computer Science Applications","author":"KS Trivedi","year":"2002","unstructured":"Trivedi, K.S.: Probability and Statistics with Reliability, Queuing and Computer Science Applications, 2nd edn. Wiley, Chichester (2002)","edition":"2"}],"container-title":["Lecture Notes in Computer Science","Computer Performance Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-66583-2_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,24]],"date-time":"2025-06-24T22:23:07Z","timestamp":1750803787000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-66583-2_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319665825","9783319665832"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-66583-2_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]},"assertion":[{"value":"13 August 2017","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"EPEW","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"European Workshop on Performance Engineering","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Berlin","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Germany","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2017","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"7 September 2017","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"8 September 2017","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"14","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"epew2017","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/events.disim.univaq.it\/~epew2017\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}