{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,1]],"date-time":"2025-10-01T16:29:52Z","timestamp":1759336192606,"version":"3.40.3"},"publisher-location":"Cham","reference-count":61,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031684159"},{"type":"electronic","value":"9783031684166"}],"license":[{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"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":[[2024]]},"DOI":"10.1007\/978-3-031-68416-6_13","type":"book-chapter","created":{"date-parts":[[2024,8,28]],"date-time":"2024-08-28T07:02:40Z","timestamp":1724828560000},"page":"213-232","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Transient Evaluation of\u00a0Non-Markovian Models by\u00a0Stochastic State Classes and\u00a0Simulation"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-4217-4952","authenticated-orcid":false,"given":"Gabriel","family":"Dengler","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5896-4860","authenticated-orcid":false,"given":"Laura","family":"Carnevali","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8807-1548","authenticated-orcid":false,"given":"Carlos E.","family":"Budde","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":[[2024,8,29]]},"reference":[{"key":"13_CR1","unstructured":"Sirio source code on GitHub. https:\/\/github.com\/oris-tool\/sirio. Accessed 24 June 2024"},{"key":"13_CR2","doi-asserted-by":"publisher","unstructured":"Agha, G., Palmskog, K.: A survey of statistical model checking. ACM Trans. Model. Comput. Simul. 28(1), 6:1\u20136:39 (2018). https:\/\/doi.org\/10.1145\/3158668","DOI":"10.1145\/3158668"},{"issue":"6","key":"13_CR3","doi-asserted-by":"publisher","first-page":"400","DOI":"10.1016\/j.peva.2013.02.002","volume":"70","author":"EG Amparore","year":"2013","unstructured":"Amparore, E.G., Donatelli, S.: A component-based solution for reducible Markov regenerative processes. Perform. Eval. 70(6), 400\u2013422 (2013)","journal-title":"Perform. Eval."},{"key":"13_CR4","doi-asserted-by":"crossref","unstructured":"Andriushchenko, R., et al.: Tools at the frontiers of quantitative verification: QComp 2023 competition report. In: TACAS, vol. to appear (2024)","DOI":"10.1007\/978-3-031-67695-6_4"},{"key":"13_CR5","volume-title":"Principles of Model Checking","author":"C Baier","year":"2008","unstructured":"Baier, C., Katoen, J.P.: Principles of Model Checking. MIT Press, Cambridge (2008)"},{"key":"13_CR6","doi-asserted-by":"publisher","unstructured":"van\u00a0der Berg, F., van\u00a0de Pol, J.: Concurrent chaining hash maps for software model checking. In: FMCAD, pp. 46\u201354. IEEE (2019). https:\/\/doi.org\/10.23919\/FMCAD.2019.8894279","DOI":"10.23919\/FMCAD.2019.8894279"},{"issue":"3","key":"13_CR7","doi-asserted-by":"publisher","first-page":"259","DOI":"10.1109\/32.75415","volume":"17","author":"B Berthomieu","year":"1991","unstructured":"Berthomieu, B., Diaz, M.: Modeling and verification of time dependent systems using time Petri nets. IEEE Trans. Software Eng. 17(3), 259 (1991)","journal-title":"IEEE Trans. Software Eng."},{"key":"13_CR8","doi-asserted-by":"publisher","first-page":"314","DOI":"10.1016\/j.trc.2017.07.002","volume":"82","author":"M Biagi","year":"2017","unstructured":"Biagi, M., Carnevali, L., Paolieri, M., Vicario, E.: Performability evaluation of the ERTMS\/ETCS - level 3. Transp. Res. Part C: Emerg. Technol. 82, 314\u2013336 (2017). https:\/\/doi.org\/10.1016\/j.trc.2017.07.002","journal-title":"Transp. Res. Part C: Emerg. Technol."},{"issue":"1","key":"13_CR9","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1007\/S10479-005-5724-Z","volume":"134","author":"P de Boer","year":"2005","unstructured":"de Boer, P., Kroese, D.P., Mannor, S., Rubinstein, R.Y.: A tutorial on the cross-entropy method. Ann. Oper. Res. 134(1), 19\u201367 (2005). https:\/\/doi.org\/10.1007\/S10479-005-5724-Z","journal-title":"Ann. Oper. Res."},{"key":"13_CR10","doi-asserted-by":"publisher","first-page":"759","DOI":"10.1007\/s10009-020-00563-2","volume":"23","author":"CE Budde","year":"2020","unstructured":"Budde, C.E., D\u2019Argenio, P.R., Hartmanns, A., Sedwards, S.: An efficient statistical model checker for nondeterminism and rare events. Int. J. Softw. Tools Technol. Transf. 23, 759\u2013780 (2020). https:\/\/doi.org\/10.1007\/s10009-020-00563-2","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"issue":"5","key":"13_CR11","doi-asserted-by":"publisher","first-page":"821","DOI":"10.1007\/s10009-022-00675-x","volume":"24","author":"CE Budde","year":"2022","unstructured":"Budde, C.E., D\u2019Argenio, P.R., Monti, R.E., Stoelinga, M.: Analysis of non-Markovian repairable fault trees through rare event simulation. Int. J. Softw. Tools Technol. Transf. 24(5), 821\u2013841 (2022). https:\/\/doi.org\/10.1007\/s10009-022-00675-x","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"key":"13_CR12","doi-asserted-by":"publisher","unstructured":"Buijsrogge, A., de\u00a0Boer, P., Scheinhardt, W.R.W.: Importance sampling for Markovian tandem queues using subsolutions: exploring the possibilities. Simul. 97(12) (2021). https:\/\/doi.org\/10.1177\/00375497211041351","DOI":"10.1177\/00375497211041351"},{"key":"13_CR13","doi-asserted-by":"publisher","unstructured":"Carnevali, L., Ciani, L., Fantechi, A., Gori, G., Papini, M.: An efficient library for Reliability Block Diagram evaluation. Appl. Sci. 11(9) (2021). https:\/\/doi.org\/10.3390\/app11094026","DOI":"10.3390\/app11094026"},{"issue":"12","key":"13_CR14","doi-asserted-by":"publisher","first-page":"4762","DOI":"10.1109\/TSE.2021.3125720","volume":"48","author":"L Carnevali","year":"2022","unstructured":"Carnevali, L., German, R., Santoni, F., Vicario, E.: Compositional analysis of hierarchical UML Statecharts. IEEE Trans. Softw. Eng. 48(12), 4762\u20134788 (2022). https:\/\/doi.org\/10.1109\/TSE.2021.3125720","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"2","key":"13_CR15","doi-asserted-by":"publisher","first-page":"178","DOI":"10.1109\/TSE.2008.101","volume":"35","author":"L Carnevali","year":"2008","unstructured":"Carnevali, L., Grassi, L., Vicario, E.: State-density functions over DBM domains in the analysis of non-Markovian models. IEEE Trans. Softw. Eng. 35(2), 178\u2013194 (2008)","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"2","key":"13_CR16","doi-asserted-by":"publisher","first-page":"178","DOI":"10.1109\/TSE.2008.101","volume":"35","author":"L Carnevali","year":"2009","unstructured":"Carnevali, L., Grassi, L., Vicario, E.: State-density functions over DBM domains in the analysis of non-Markovian models. IEEE Trans. Softw. Eng. 35(2), 178\u2013194 (2009). https:\/\/doi.org\/10.1109\/TSE.2008.101","journal-title":"IEEE Trans. Softw. Eng."},{"key":"13_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1007\/978-3-540-69850-0_7","volume-title":"25 Years of Model Checking","author":"K Chatterjee","year":"2008","unstructured":"Chatterjee, K., Henzinger, T.A.: Value iteration. In: Grumberg, O., Veith, H. (eds.) 25 Years of Model Checking. LNCS, vol. 5000, pp. 107\u2013138. Springer, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-69850-0_7"},{"issue":"1\u20133","key":"13_CR18","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1016\/0166-5316(94)90021-3","volume":"20","author":"H Choi","year":"1994","unstructured":"Choi, H., Kulkarni, V.G., Trivedi, K.S.: Markov regenerative stochastic Petri nets. Perform. Eval. 20(1\u20133), 337\u2013357 (1994)","journal-title":"Perform. Eval."},{"issue":"7","key":"13_CR19","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 Trans. Softw. Eng. 20(7), 506\u2013515 (1994)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"13_CR20","doi-asserted-by":"publisher","unstructured":"Dongliang, Z., Kaiwen, Z., Chaofan, Z.: Reliability modeling and analysis of reactor protection system based on FPGA. Nucl. Power Eng. 42(5), 173\u2013177 (2021). https:\/\/doi.org\/10.13832\/j.jnpe.2021.05.0173","DOI":"10.13832\/j.jnpe.2021.05.0173"},{"key":"13_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1007\/978-3-642-21455-4_3","volume-title":"Formal Methods for Eternal Networked Software Systems","author":"V Forejt","year":"2011","unstructured":"Forejt, V., Kwiatkowska, M., Norman, G., Parker, D.: Automated verification techniques for probabilistic systems. In: Bernardo, M., Issarny, V. (eds.) SFM 2011. LNCS, vol. 6659, pp. 53\u2013113. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-21455-4_3"},{"issue":"1","key":"13_CR22","doi-asserted-by":"publisher","first-page":"110","DOI":"10.1214\/aoap\/1034625254","volume":"7","author":"A Gelman","year":"1997","unstructured":"Gelman, A., Gilks, W.R., Roberts, G.O.: Weak convergence and optimal scaling of random walk Metropolis algorithms. Ann. Appl. Probab. 7(1), 110\u2013120 (1997). https:\/\/doi.org\/10.1214\/aoap\/1034625254","journal-title":"Ann. Appl. Probab."},{"key":"13_CR23","doi-asserted-by":"publisher","unstructured":"German, R., Telek, M.: Formal relation of Markov renewal theory and supplementary variables in the analysis of stochastic Petri nets. In: Proceedings 8th International Workshop on Petri Nets and Performance Models (Cat. No.PR00331), pp. 64\u201373 (1999). https:\/\/doi.org\/10.1109\/PNPM.1999.796537","DOI":"10.1109\/PNPM.1999.796537"},{"issue":"1\u20133","key":"13_CR24","doi-asserted-by":"publisher","first-page":"317","DOI":"10.1016\/0166-5316(94)90020-5","volume":"20","author":"R German","year":"1994","unstructured":"German, R., Lindemann, C.: Analysis of stochastic Petri nets by the method of supplementary variables. Perform. Eval. 20(1\u20133), 317\u2013335 (1994). https:\/\/doi.org\/10.1016\/0166-5316(94)90020-5","journal-title":"Perform. Eval."},{"key":"13_CR25","doi-asserted-by":"crossref","unstructured":"German, R., Logothetis, D., Trivedi, K.S.: Transient analysis of Markov regenerative stochastic Petri nets: A comparison of approaches. In: Proceedings 6th International Workshop on Petri Nets and Performance Models, pp. 103\u2013112. IEEE (1995)","DOI":"10.1109\/PNPM.1995.524320"},{"issue":"6","key":"13_CR26","doi-asserted-by":"publisher","first-page":"396","DOI":"10.1016\/0377-2217(77)90049-2","volume":"1","author":"W Grassmann","year":"1977","unstructured":"Grassmann, W.: Transient solutions in Markovian queues: an algorithm for finding them and determining their waiting-time distributions. Eur. J. Oper. Res. 1(6), 396\u2013402 (1977). https:\/\/doi.org\/10.1016\/0377-2217(77)90049-2","journal-title":"Eur. J. Oper. Res."},{"key":"13_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1007\/978-3-030-17502-3_5","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"EM Hahn","year":"2019","unstructured":"Hahn, E.M., et al.: The 2019 comparison of tools for the analysis of quantitative formal models. In: Beyer, D., Huisman, M., Kordon, F., Steffen, B. (eds.) TACAS 2019. LNCS, vol. 11429, pp. 69\u201392. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-17502-3_5"},{"key":"13_CR28","unstructured":"Hartmanns, A.: On the analysis of stochastic timed systems. Ph.D. thesis, Saarland University (2015). http:\/\/scidok.sulb.uni-saarland.de\/volltexte\/2015\/6054\/"},{"key":"13_CR29","doi-asserted-by":"crossref","unstructured":"Hastings, W.K.: Monte Carlo sampling methods using Markov chains and their applications. Biometrika 57(1), 97\u2013109 (1970). http:\/\/www.jstor.org\/stable\/2334940","DOI":"10.1093\/biomet\/57.1.97"},{"issue":"7","key":"13_CR30","doi-asserted-by":"publisher","first-page":"315","DOI":"10.1016\/j.peva.2011.11.002","volume":"69","author":"A Horv\u00e1th","year":"2012","unstructured":"Horv\u00e1th, A., Paolieri, M., Ridi, L., Vicario, E.: Transient analysis of non-Markovian models using stochastic state classes. Perform. Eval. 69(7), 315\u2013335 (2012). https:\/\/doi.org\/10.1016\/j.peva.2011.11.002","journal-title":"Perform. Eval."},{"key":"13_CR31","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"272","DOI":"10.1007\/978-3-319-91268-4_14","volume-title":"Application and Theory of Petri Nets and Concurrency","author":"S Junges","year":"2018","unstructured":"Junges, S., Katoen, J.-P., Stoelinga, M., Volk, M.: One net fits all - a unifying semantics of dynamic fault trees using GSPNs. In: Khomenko, V., Roux, O.H. (eds.) PETRI NETS 2018. LNCS, vol. 10877, pp. 272\u2013293. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-91268-4_14"},{"key":"13_CR32","doi-asserted-by":"publisher","first-page":"1","DOI":"10.2307\/1913641","volume":"46","author":"T Kloek","year":"1978","unstructured":"Kloek, T., Kloek, T., Van Dijk, H.: Bayesian estimates of equation system parameters: an application of integration by Monte Carlo. Econometrica 46, 1\u201319 (1978). https:\/\/doi.org\/10.2307\/1913641","journal-title":"Econometrica"},{"key":"13_CR33","doi-asserted-by":"crossref","unstructured":"Kulkarni, V.G.: Modeling and Analysis of Stochastic Systems. Chapman and Hall\/CRC (2016)","DOI":"10.1201\/9781315367910"},{"key":"13_CR34","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/978-3-319-47166-2_1","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques","author":"KG Larsen","year":"2016","unstructured":"Larsen, K.G., Legay, A.: Statistical model checking: past, present, and future. In: Margaria, T., Steffen, B. (eds.) ISoLA 2016. LNCS, vol. 9952, pp. 3\u201315. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-47166-2_1"},{"key":"13_CR35","doi-asserted-by":"publisher","unstructured":"L\u2019Ecuyer, P., Le\u00a0Gland, F., Lezaud, P., Tuffin, B.: Splitting techniques, chap.\u00a03, pp. 39\u201361. In: Rubino and Tuffin [53] (2009). https:\/\/doi.org\/10.1002\/9780470745403.ch3","DOI":"10.1002\/9780470745403.ch3"},{"key":"13_CR36","doi-asserted-by":"publisher","unstructured":"L\u2019Ecuyer, P., Mandjes, M., Tuffin, B.: Importance sampling in rare event simulation, chap.\u00a02, pp. 17\u201338. In: Rubino and Tuffin [53] (2009). https:\/\/doi.org\/10.1002\/9780470745403.ch2","DOI":"10.1002\/9780470745403.ch2"},{"key":"13_CR37","doi-asserted-by":"publisher","unstructured":"Lee, J., Mitici, M.: Predictive aircraft maintenance: modeling and analysis using stochastic Petri nets. In: ESREL, pp. 146\u2013153 (2021). https:\/\/doi.org\/10.3850\/978-981-18-2016-8_050-cd","DOI":"10.3850\/978-981-18-2016-8_050-cd"},{"issue":"13","key":"13_CR38","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1016\/S1474-6670(17)32483-7","volume":"36","author":"D Lime","year":"2003","unstructured":"Lime, D., Roux, O.H.: Expressiveness and analysis of scheduling extended time Petri nets. IFAC Proc. Vol. 36(13), 189\u2013197 (2003)","journal-title":"IFAC Proc. Vol."},{"key":"13_CR39","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1016\/S0166-5316(99)00020-6","volume":"36","author":"C Lindemann","year":"1999","unstructured":"Lindemann, C., Th\u00fcmmler, A.: Transient analysis of deterministic and stochastic Petri nets with concurrent deterministic transitions. Perform. Eval. 36, 35\u201354 (1999)","journal-title":"Perform. Eval."},{"key":"13_CR40","doi-asserted-by":"crossref","unstructured":"Ljung, G.M., Box, G.E.P.: On a measure of lack of fit in time series models. Biometrika 65(2), 297\u2013303 (1978). http:\/\/www.jstor.org\/stable\/2335207","DOI":"10.1093\/biomet\/65.2.297"},{"issue":"6","key":"13_CR41","doi-asserted-by":"publisher","first-page":"1087","DOI":"10.1063\/1.1699114","volume":"21","author":"N Metropolis","year":"1953","unstructured":"Metropolis, N., Rosenbluth, A.W., Rosenbluth, M.N., Teller, A.H., Teller, E.: Equation of state calculations by fast computing machines. J. Chem. Phys. 21(6), 1087\u20131092 (1953)","journal-title":"J. Chem. Phys."},{"key":"13_CR42","doi-asserted-by":"publisher","unstructured":"Monti, R.E., Budde, C.E., D\u2019Argenio, P.R.: A compositional semantics for repairable fault trees with general distributions. In: LPAR. EPiC, vol.\u00a073, pp. 354\u2013372. EasyChair (2020). https:\/\/doi.org\/10.29007\/P16V","DOI":"10.29007\/P16V"},{"key":"13_CR43","volume-title":"Matrix-Geometric Solutions in Stochastic Models: An Algorithmic Approach","author":"MF Neuts","year":"1981","unstructured":"Neuts, M.F.: Matrix-Geometric Solutions in Stochastic Models: An Algorithmic Approach. Johns Hopkins University Press, Baltimore (1981)"},{"key":"13_CR44","doi-asserted-by":"publisher","unstructured":"O\u2019Connor, P.D.T., Kleyner, A.: Practical Reliability Engineering. Wiley (2011). https:\/\/doi.org\/10.1002\/9781119961260","DOI":"10.1002\/9781119961260"},{"issue":"6","key":"13_CR45","doi-asserted-by":"publisher","first-page":"1211","DOI":"10.1109\/TSE.2019.2917202","volume":"47","author":"M Paolieri","year":"2021","unstructured":"Paolieri, M., Biagi, M., Carnevali, L., Vicario, E.: The ORIS tool: quantitative evaluation of non-Markovian systems. IEEE Trans. Softw. Eng. 47(6), 1211\u20131225 (2021). https:\/\/doi.org\/10.1109\/TSE.2019.2917202","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"2","key":"13_CR46","doi-asserted-by":"publisher","first-page":"153","DOI":"10.1109\/TSE.2015.2468717","volume":"42","author":"M Paolieri","year":"2015","unstructured":"Paolieri, M., Horv\u00e1th, A., Vicario, E.: Probabilistic model checking of regenerative concurrent systems. IEEE Trans. Softw. Eng. 42(2), 153\u2013169 (2015)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"13_CR47","doi-asserted-by":"publisher","unstructured":"Parri, J., Sampietro, S., Vicario, E.: FaultFlow: a tool supporting an MDE approach for timed failure logic analysis. In: 2021 17th European Dependable Computing Conference (EDCC), pp. 25\u201332 (2021). https:\/\/doi.org\/10.1109\/EDCC53658.2021.00011","DOI":"10.1109\/EDCC53658.2021.00011"},{"key":"13_CR48","unstructured":"Reliability and maintainability symposium (2024). https:\/\/rams.org"},{"issue":"1","key":"13_CR49","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1016\/0305-0548(88)90026-3","volume":"15","author":"A Reibman","year":"1988","unstructured":"Reibman, A., Trivedi, K.: Numerical transient analysis of Markov models. Comput. Oper. Res. 15(1), 19\u201336 (1988). https:\/\/doi.org\/10.1016\/0305-0548(88)90026-3","journal-title":"Comput. Oper. Res."},{"key":"13_CR50","doi-asserted-by":"publisher","unstructured":"Reijsbergen, D., de\u00a0Boer, P., Scheinhardt, W.R.W., Juneja, S.: Path-ZVA: general, efficient, and automated importance sampling for highly reliable Markovian systems. ACM Trans. Model. Comput. Simul. 28(3), 22:1\u201322:25 (2018). https:\/\/doi.org\/10.1145\/3161569","DOI":"10.1145\/3161569"},{"key":"13_CR51","unstructured":"Robert\u00a0L., J.: Analysis of phase-type stochastic Petri nets with discrete and continuous timing. Technical report (2000). https:\/\/ntrs.nasa.gov\/citations\/20000120040"},{"key":"13_CR52","doi-asserted-by":"publisher","unstructured":"Rubino, G., Tuffin, B.: Introduction to rare event simulation, chap.\u00a01, pp. 1\u201313. In: Rubino and Tuffin [53] (2009). https:\/\/doi.org\/10.1002\/9780470745403.ch1","DOI":"10.1002\/9780470745403.ch1"},{"key":"13_CR53","doi-asserted-by":"publisher","unstructured":"Rubino, G., Tuffin, B. (eds.): Rare Event Simulation Using Monte Carlo Methods. Wiley (2009). https:\/\/doi.org\/10.1002\/9780470745403","DOI":"10.1002\/9780470745403"},{"issue":"4","key":"13_CR54","doi-asserted-by":"publisher","first-page":"205","DOI":"10.1016\/S0166-5316(00)00066-3","volume":"45","author":"M Telek","year":"2001","unstructured":"Telek, M., Horv\u00e1th, A.: Transient analysis of age-MRSPNs by the method of supplementary variables. Perform. Eval. 45(4), 205\u2013221 (2001)","journal-title":"Perform. Eval."},{"issue":"4","key":"13_CR55","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1145\/1530873.1530884","volume":"36","author":"KS Trivedi","year":"2009","unstructured":"Trivedi, K.S., Sahner, R.: Sharpe at the age of twenty two. ACM SIGMETRICS Perform. Eval. Rev. 36(4), 52\u201357 (2009)","journal-title":"ACM SIGMETRICS Perform. Eval. Rev."},{"issue":"5","key":"13_CR56","doi-asserted-by":"publisher","first-page":"703","DOI":"10.1109\/TSE.2009.36","volume":"35","author":"E Vicario","year":"2009","unstructured":"Vicario, E., Sassoli, L., Carnevali, L.: Using stochastic state classes in quantitative evaluation of dense-time reactive systems. IEEE Trans. Softw. Eng. 35(5), 703\u2013719 (2009). https:\/\/doi.org\/10.1109\/TSE.2009.36","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"158","key":"13_CR57","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1080\/01621459.1927.10502953","volume":"22","author":"EB Wilson","year":"1927","unstructured":"Wilson, E.B.: Probable inference, the law of succession, and statistical inference. J. Am. Stat. Assoc. 22(158), 209\u2013212 (1927). https:\/\/doi.org\/10.1080\/01621459.1927.10502953","journal-title":"J. Am. Stat. Assoc."},{"key":"13_CR58","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1007\/3-540-45657-0_17","volume-title":"Computer Aided Verification","author":"HLS Younes","year":"2002","unstructured":"Younes, H.L.S., Simmons, R.G.: Probabilistic verification of discrete event systems using acceptance sampling. In: Brinksma, E., Larsen, K.G. (eds.) CAV 2002. LNCS, vol. 2404, pp. 223\u2013235. Springer, Heidelberg (2002). https:\/\/doi.org\/10.1007\/3-540-45657-0_17"},{"key":"13_CR59","unstructured":"Younes, H.L.S.: Verification and planning for stochastic processes with asynchronous events. Ph.D. thesis, Carnegie Mellon University (2005)"},{"key":"13_CR60","doi-asserted-by":"crossref","unstructured":"Zimmermann, A.: Modeling and evaluation of stochastic Petri nets with TimeNET 4.1. In: 6th International ICST Conference on Performance Evaluation Methodologies and Tools, pp. 54\u201363. IEEE (2012)","DOI":"10.4108\/valuetools.2012.250263"},{"key":"13_CR61","doi-asserted-by":"publisher","unstructured":"Zuliani, P., Baier, C., Clarke, E.M.: Rare-event verification for stochastic hybrid systems. In: HSCC, pp. 217\u2013226. ACM (2012). https:\/\/doi.org\/10.1145\/2185632.2185665","DOI":"10.1145\/2185632.2185665"}],"container-title":["Lecture Notes in Computer Science","Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-68416-6_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,11,27]],"date-time":"2024-11-27T10:29:01Z","timestamp":1732703341000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-68416-6_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024]]},"ISBN":["9783031684159","9783031684166"],"references-count":61,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-68416-6_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2024]]},"assertion":[{"value":"29 August 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"QEST+FORMATS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Calgary, AB","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Canada","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":"10 September 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"14 September 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"qest2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/www.qest-formats.org\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}