{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,11]],"date-time":"2025-09-11T19:04:47Z","timestamp":1757617487411,"version":"3.44.0"},"publisher-location":"Cham","reference-count":21,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031809316"},{"type":"electronic","value":"9783031809323"}],"license":[{"start":{"date-parts":[[2025,1,1]],"date-time":"2025-01-01T00:00:00Z","timestamp":1735689600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,1,1]],"date-time":"2025-01-01T00:00:00Z","timestamp":1735689600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2025]]},"DOI":"10.1007\/978-3-031-80932-3_6","type":"book-chapter","created":{"date-parts":[[2025,2,12]],"date-time":"2025-02-12T01:13:52Z","timestamp":1739322832000},"page":"75-90","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Approximation of\u00a0First Passage Time Distributions of\u00a0Compositions of\u00a0Independent Markov Chains"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-8210-545X","authenticated-orcid":false,"given":"Andr\u00e1s","family":"Horv\u00e1th","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5110-203X","authenticated-orcid":false,"given":"Marco","family":"Paolieri","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4983-4386","authenticated-orcid":false,"given":"Enrico","family":"Vicario","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2025,2,13]]},"reference":[{"issue":"4","key":"6_CR1","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1145\/3543146.3543165","volume":"49","author":"EG Amparore","year":"2022","unstructured":"Amparore, E.G.: Stochastic modelling and evaluation using GreatSPN. SIGMETRICS Perform. Evaluation Rev. 49(4), 87\u201391 (2022)","journal-title":"SIGMETRICS Perform. Evaluation Rev."},{"issue":"1","key":"6_CR2","doi-asserted-by":"publisher","first-page":"32","DOI":"10.1287\/moor.1.1.32","volume":"1","author":"RE Barlow","year":"1976","unstructured":"Barlow, R.E., Proschan, F.: Theory of maintained systems: distribution of time to first system failure. Math. Oper. Res. 1(1), 32\u201342 (1976)","journal-title":"Math. Oper. Res."},{"key":"6_CR3","first-page":"33","volume":"22","author":"A Bobbio","year":"1992","unstructured":"Bobbio, A., Cumani, A.: ML estimation of the parameters of a PH distribution in triangular canonical form. Comp. Perf. Eval. 22, 33\u201346 (1992)","journal-title":"Comp. Perf. Eval."},{"key":"6_CR4","doi-asserted-by":"publisher","first-page":"303","DOI":"10.1081\/STM-200056210","volume":"21","author":"A Bobbio","year":"2005","unstructured":"Bobbio, A., Horv\u00e1th, A., Telek, M.: Matching three moments with minimal acyclic phase type distributions. Stoch. Models 21, 303\u2013326 (2005)","journal-title":"Stoch. Models"},{"key":"6_CR5","unstructured":"Brown, M.: The first passage time distribution for a parallel exponential system with repair. In: Proceedings of the Conference on Reliability and Fault Tree Analysis, pp. 365\u2013396. Society for Industrial and Applied Mathematics (1975)"},{"issue":"1\u20132","key":"6_CR6","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1016\/S1567-8326(02)00067-X","volume":"56","author":"P Buchholz","year":"2003","unstructured":"Buchholz, P., Katoen, J., Kemper, P., Tepper, C.: Model-checking large structured Markov chains. J. Log. Algebraic Methods Program. 56(1\u20132), 69\u201397 (2003)","journal-title":"J. Log. Algebraic Methods Program."},{"key":"6_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"256","DOI":"10.1007\/978-3-540-24611-4_8","volume-title":"Validation of Stochastic Systems","author":"P Buchholz","year":"2004","unstructured":"Buchholz, P., Kemper, P.: Kronecker based matrix representations for large Markov models. In: Baier, C., Haverkort, B.R., Hermanns, H., Katoen, J.-P., Siegle, M. (eds.) Validation of Stochastic Systems. LNCS, vol. 2925, pp. 256\u2013295. Springer, Heidelberg (2004). https:\/\/doi.org\/10.1007\/978-3-540-24611-4_8"},{"key":"6_CR8","doi-asserted-by":"crossref","unstructured":"Carnevali, L., Paolieri, M., Reali, R., Scommegna, L., Vicario, E.: A Markov regenerative model of software rejuvenation beyond the enabling restriction. In: Proceedings of IEEE ISSRE Workshops (WOSAR), pp. 138\u2013145. IEEE (2022)","DOI":"10.1109\/ISSREW55968.2022.00060"},{"key":"6_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"132","DOI":"10.1007\/978-3-540-72522-0_4","volume-title":"Formal Methods for Performance Evaluation","author":"A Clark","year":"2007","unstructured":"Clark, A., Gilmore, S., Hillston, J., Tribastone, M.: Stochastic process algebras. In: Bernardo, M., Hillston, J. (eds.) SFM 2007. LNCS, vol. 4486, pp. 132\u2013179. Springer, Heidelberg (2007). https:\/\/doi.org\/10.1007\/978-3-540-72522-0_4"},{"issue":"3","key":"6_CR10","doi-asserted-by":"publisher","first-page":"642","DOI":"10.1214\/aoms\/1177728174","volume":"27","author":"A Dvoretzky","year":"1956","unstructured":"Dvoretzky, A., Kiefer, J., Wolfowitz, J.: Asymptotic minimax character of the sample distribution function and of the classical multinomial estimator. Ann. Math. Stat. 27(3), 642\u2013669 (1956)","journal-title":"Ann. Math. Stat."},{"key":"6_CR11","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1016\/S0166-5316(97)00003-5","volume":"31","author":"A Feldman","year":"1998","unstructured":"Feldman, A., Whitt, W.: Fitting mixtures of exponentials to long-tail distributions to analyze network performance models. Perf. Eval. 31, 245\u2013279 (1998)","journal-title":"Perf. Eval."},{"issue":"4","key":"6_CR12","doi-asserted-by":"publisher","first-page":"589","DOI":"10.1007\/s10009-021-00633-z","volume":"24","author":"C Hensel","year":"2022","unstructured":"Hensel, C., Junges, S., Katoen, J., Quatmann, T., Volk, M.: The probabilistic model checker Storm. Int. J. Softw. Tools Technol. Transf. 24(4), 589\u2013610 (2022)","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"key":"6_CR13","unstructured":"Horv\u00e1th, A., Telek, M.: Approximating heavy tailed behavior with phase-type distributions. In: Proceedings of 3rd International Conference on Matrix-Analytic Methods in Stochastic Models. Leuven, Belgium (2000)"},{"key":"6_CR14","unstructured":"Inc., W.R.: Mathematica, Version 14.0, Champaign, IL (2024). https:\/\/www.wolfram.com\/mathematica"},{"key":"6_CR15","unstructured":"Kleinrock, L.: Queueing Systems, Vol. 1: Theory. Wiley (1975)"},{"key":"6_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"585","DOI":"10.1007\/978-3-642-22110-1_47","volume-title":"Computer Aided Verification","author":"M Kwiatkowska","year":"2011","unstructured":"Kwiatkowska, M., Norman, G., Parker, D.: PRISM 4.0: verification of probabilistic real-time systems. In: Gopalakrishnan, G., Qadeer, S. (eds.) CAV 2011. LNCS, vol. 6806, pp. 585\u2013591. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-22110-1_47"},{"issue":"2","key":"6_CR17","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1145\/190.191","volume":"2","author":"MA Marsan","year":"1984","unstructured":"Marsan, M.A., Conte, G., Balbo, G.: A class of generalized stochastic Petri nets for the performance evaluation of multiprocessor systems. ACM Trans. Comput. Syst. 2(2), 93\u2013122 (1984)","journal-title":"ACM Trans. Comput. Syst."},{"key":"6_CR18","unstructured":"Neuts, M.: Probability distributions of phase type. In: Liber Amicorum Prof. Emeritus H. Florin, pp. 173\u2013206. University of Louvain (1975)"},{"issue":"2","key":"6_CR19","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1016\/0304-4149(76)90034-X","volume":"4","author":"SM Ross","year":"1976","unstructured":"Ross, S.M.: On the time to first failure in multicomponent exponential reliability systems. Stochastic Process. Appl. 4(2), 167\u2013173 (1976)","journal-title":"Stochastic Process. Appl."},{"key":"6_CR20","doi-asserted-by":"crossref","unstructured":"Stewart, W.J.: Probability, Markov Chains, Queues, and Simulation: The Mathematical Basis of Performance Modeling. Princeton University Press (2009)","DOI":"10.1515\/9781400832811"},{"key":"6_CR21","series-title":"Springer Texts in Statistics","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-21736-9","volume-title":"All of Statistics","author":"L Wasserman","year":"2004","unstructured":"Wasserman, L.: All of Statistics. STS, Springer, New York (2004). https:\/\/doi.org\/10.1007\/978-0-387-21736-9"}],"container-title":["Lecture Notes in Computer Science","Computer Performance Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-80932-3_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,9,6]],"date-time":"2025-09-06T05:08:32Z","timestamp":1757135312000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-80932-3_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025]]},"ISBN":["9783031809316","9783031809323"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-80932-3_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2025]]},"assertion":[{"value":"13 February 2025","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":"Venice","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Italy","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2024","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"15 June 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"15 June 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"20","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"epew2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}