{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,2]],"date-time":"2025-10-02T00:42:37Z","timestamp":1759365757994,"version":"build-2065373602"},"publisher-location":"Cham","reference-count":56,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783032057914","type":"print"},{"value":"9783032057921","type":"electronic"}],"license":[{"start":{"date-parts":[[2025,10,2]],"date-time":"2025-10-02T00:00:00Z","timestamp":1759363200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,10,2]],"date-time":"2025-10-02T00:00:00Z","timestamp":1759363200000},"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":[[2026]]},"DOI":"10.1007\/978-3-032-05792-1_2","type":"book-chapter","created":{"date-parts":[[2025,10,1]],"date-time":"2025-10-01T10:31:57Z","timestamp":1759314717000},"page":"21-41","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Time-Sensitive Importance Splitting"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-4217-4952","authenticated-orcid":false,"given":"Gabriel","family":"Dengler","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8807-1548","authenticated-orcid":false,"given":"Carlos E.","family":"Budde","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5896-4860","authenticated-orcid":false,"given":"Laura","family":"Carnevali","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3268-8674","authenticated-orcid":false,"given":"Arnd","family":"Hartmanns","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2025,10,2]]},"reference":[{"issue":"2","key":"2_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., 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). https:\/\/doi.org\/10.1145\/190.191","journal-title":"ACM Trans. Comput. Syst."},{"issue":"6","key":"2_CR2","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":"2_CR3","unstructured":"Baier, C., Katoen, J.P.: Principles of Model Checking. MIT Press, Cambridge (2008)"},{"issue":"3","key":"2_CR4","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. Softw. Eng. 17(3), 259 (1991)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"2_CR5","doi-asserted-by":"publisher","unstructured":"Bertrand, N., et al.: Stochastic timed automata. Log. Methods Comput. Sci. 10(4) (2014). https:\/\/doi.org\/10.2168\/LMCS-10(4:6)2014","DOI":"10.2168\/LMCS-10(4:6)2014"},{"key":"2_CR6","doi-asserted-by":"publisher","unstructured":"Biagi, M., Carnevali, L., Paolieri, M., Papini, T., Vicario, E.: Exploiting non-deterministic analysis in the integration of transient solution techniques for Markov regenerative processes. In: Bertrand, N., Bortolussi, L. (eds.) Quantitative Evaluation of Systems - 14th International Conference, QEST 2017, Berlin, Germany, 5-7 September 2017, Proceedings. LNCS, vol. 10503, pp. 20\u201335. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-66335-7_2","DOI":"10.1007\/978-3-319-66335-7_2"},{"key":"2_CR7","doi-asserted-by":"publisher","unstructured":"Biagi, M., Carnevali, L., Paolieri, M., Vicario, E.: Performability evaluation of the ERTMS\/ETCS \u2013 Level 3. Transp. Res. Part C: Emerg. Technol. 82, 314\u2013336 (2017). https:\/\/doi.org\/10.1016\/j.trc.2017.07.002, https:\/\/www.sciencedirect.com\/science\/article\/pii\/S0968090X17301833","DOI":"10.1016\/j.trc.2017.07.002"},{"key":"2_CR8","unstructured":"Bouyer, P.: An introduction to timed automata (2011). http:\/\/www.lsv.fr\/~bouyer\/files\/mpri1112.pdf. Accessed 18 Apr 2025"},{"key":"2_CR9","unstructured":"Budde, C.E.: Automation of Importance Splitting Techniques for Rare Event Simulation. Ph.D. thesis (May 2017)"},{"key":"2_CR10","doi-asserted-by":"publisher","first-page":"90","DOI":"10.1016\/J.SCICO.2019.01.006","volume":"174","author":"CE Budde","year":"2019","unstructured":"Budde, C.E., D\u2019Argenio, P.R., Hartmanns, A.: Automated compositional importance splitting. Sci. Comput. Program. 174, 90\u2013108 (2019). https:\/\/doi.org\/10.1016\/J.SCICO.2019.01.006","journal-title":"Sci. Comput. Program."},{"issue":"6","key":"2_CR11","doi-asserted-by":"publisher","first-page":"759","DOI":"10.1007\/S10009-020-00563-2","volume":"22","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. 22(6), 759\u2013780 (2020). https:\/\/doi.org\/10.1007\/S10009-020-00563-2","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"key":"2_CR12","doi-asserted-by":"publisher","unstructured":"Budde, C.E., D\u2019Argenio, P.R., Hermanns, H.: Rare event simulation with fully automated importance splitting. In: Beltr\u00e1n, M., Knottenbelt, W., Bradley, J. (eds.), EPEW. LNCS, vol.\u00a09272, pp. 275\u2013290. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-23267-6_18","DOI":"10.1007\/978-3-319-23267-6_18"},{"issue":"5","key":"2_CR13","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":"2_CR14","doi-asserted-by":"publisher","unstructured":"Budde, C.E., Hartmanns, A., Meggendorfer, T., Weininger, M., Wienh\u00f6ft, P.: Sound statistical model checking for probabilities and expected rewards. In: Gurfinkel, A., Heule, M. (eds) Tools and Algorithms for the Construction and Analysis of Systems. TACAS 2025. LNCS, vol. 15696, pp. 167\u2013190. Springer, Cham (2025). https:\/\/doi.org\/10.48550\/arXiv.2411.00559, to appear, preprint available at","DOI":"10.48550\/arXiv.2411.00559"},{"key":"2_CR15","doi-asserted-by":"publisher","unstructured":"Budde, C.E., Ruijters, E., Stoelinga, M.: The dynamic fault tree rare event simulator. In: Gribaudo, M., Jansen, D.N., Remke, A. (eds.) Quantitative Evaluation of Systems. QEST 2020. LNCS, vol. 12289, pp. 233\u2013238. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-59854-9_17","DOI":"10.1007\/978-3-030-59854-9_17"},{"issue":"12","key":"2_CR16","first-page":"4762","volume":"48","author":"L Carnevali","year":"2021","unstructured":"Carnevali, L., German, R., Santoni, F., Vicario, E.: Compositional analysis of hierarchical uml statecharts. IEEE Trans. Softw. Eng. 48(12), 4762\u20134788 (2021)","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"2","key":"2_CR17","doi-asserted-by":"publisher","first-page":"417","DOI":"10.1080\/07362990601139628","volume":"25","author":"F C\u00e9rou","year":"2007","unstructured":"C\u00e9rou, F., Guyader, A.: Adaptive multilevel splitting for rare event analysis. Stoch. Anal. Appl. 25(2), 417\u2013443 (2007)","journal-title":"Stoch. Anal. Appl."},{"issue":"1\u20133","key":"2_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."},{"key":"2_CR19","doi-asserted-by":"publisher","unstructured":"D\u2019Argenio, P.R., Katoen, J.: A theory of stochastic systems part I: stochastic automata. Inf. Comput. 203(1), 1\u201338 (2005). https:\/\/doi.org\/10.1016\/J.IC.2005.07.001, https:\/\/doi.org\/10.1016\/j.ic.2005.07.001","DOI":"10.1016\/J.IC.2005.07.001"},{"key":"2_CR20","doi-asserted-by":"publisher","unstructured":"D\u2019Argenio, P.R., Lee, M.D., Monti, R.E.: Input\/Output stochastic automata - compositionality and determinism. In: Fr\u00e4nzle, M., Markey, N. (eds.) Formal Modeling and Analysis of Timed Systems. FORMATS 2016. LNCS, vol.\u00a09884, pp. 53\u201368. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-44878-7_4","DOI":"10.1007\/978-3-319-44878-7_4"},{"key":"2_CR21","doi-asserted-by":"publisher","unstructured":"D\u2019Argenio, P.R., Monti, R.E.: Input\/Output stochastic automata with urgency: confluence and weak determinism. In: Fischer, B., Uustalu, T. (eds.) Theoretical Aspects of Computing \u2013 ICTAC 2018. ICTAC\u00a02018. LNCS, vol. 11187, pp. 132\u2013152. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-030-02508-3_8","DOI":"10.1007\/978-3-030-02508-3_8"},{"key":"2_CR22","doi-asserted-by":"publisher","unstructured":"David, A., Larsen, K.G., Legay, A., Mikucionis, M., Wang, Z.: Time for statistical model checking of real-time systems. In: Gopalakrishnan, G., Qadeer, S. (eds.) Computer Aided Verification. CAV 2011. LNCS, vol.\u00a06806, pp. 349\u2013355. Springer, Berlin, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-22110-1_27","DOI":"10.1007\/978-3-642-22110-1_27"},{"key":"2_CR23","doi-asserted-by":"publisher","unstructured":"Dengler, G., Carnevali, L., Budde, C.E., Vicario, E.: Transient evaluation of non-markovian models by stochastic state classes and simulation. In: Hillston, J., Soudjani, S., Waga, M. (eds.) Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems. QEST+FORMATS 2024. LNCS, vol. 14996, pp. 213\u2013232. Springer, Cham (2024). https:\/\/doi.org\/10.1007\/978-3-031-68416-6_13","DOI":"10.1007\/978-3-031-68416-6_13"},{"key":"2_CR24","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":"2_CR25","unstructured":"Garvels, M.J.J.: The splitting method in rare event simulation. Ph.D. thesis, University of Twente, Enschede, Netherlands (2000). http:\/\/eprints.eemcs.utwente.nl\/14291\/"},{"key":"2_CR26","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\u20134","key":"2_CR27","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1016\/S0166-5316(00)00061-4","volume":"44","author":"R German","year":"2001","unstructured":"German, R.: Iterative analysis of markov regenerative models. Perform. Eval. 44(1\u20134), 51\u201372 (2001)","journal-title":"Perform. Eval."},{"key":"2_CR28","doi-asserted-by":"publisher","unstructured":"German, R., Lindemann, C.: Analysis of stochastic petri nets by the method of supplementary variables. Perform. Eval. 20(1-3), 317\u2013335 (1994). https:\/\/doi.org\/10.1016\/0166-5316(94)90020-5","DOI":"10.1016\/0166-5316(94)90020-5"},{"issue":"6","key":"2_CR29","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":"2_CR30","doi-asserted-by":"publisher","unstructured":"Hartmanns, A., Hermanns, H.: The modest toolset: an integrated environment for quantitative modelling and verification. In: \u00c1brah\u00e1m, E., Havelund, K. (eds.) Tools and Algorithms for the Construction and Analysis of Systems. TACAS 2014. LNCS, vol.\u00a08413, pp. 593\u2013598. Springer, Berlin, Heidelberg (2014). https:\/\/doi.org\/10.1007\/978-3-642-54862-8_51","DOI":"10.1007\/978-3-642-54862-8_51"},{"key":"2_CR31","doi-asserted-by":"publisher","unstructured":"Hartmanns, A., Kohlen, B.: Backwards reachability for probabilistic timed automata: a replication report. CoRR abs\/2208.11928 (2022). https:\/\/doi.org\/10.48550\/ARXIV.2208.11928, https:\/\/doi.org\/10.48550\/arXiv.2208.11928","DOI":"10.48550\/ARXIV.2208.11928"},{"key":"2_CR32","doi-asserted-by":"publisher","unstructured":"Henzinger, T.A., Nicollin, X., Sifakis, J., Yovine, S.: Symbolic model checking for real-time systems. In: Proceedings of the Seventh Annual Symposium on Logic in Computer Science (LICS \u201992), Santa Cruz, California, USA, 22\u201325 June 1992, pp. 394\u2013406. IEEE Computer Society (1992). https:\/\/doi.org\/10.1109\/LICS.1992.185551","DOI":"10.1109\/LICS.1992.185551"},{"key":"2_CR33","doi-asserted-by":"publisher","unstructured":"Horv\u00e1th, A., Paolieri, M., Ridi, L., Vicario, E.: Transient analysis of non-Markovian models using stochastic state classes. Perform. Eval. 69(7-8), 315\u2013335 (2012). https:\/\/doi.org\/10.1016\/J.PEVA.2011.11.002","DOI":"10.1016\/J.PEVA.2011.11.002"},{"key":"2_CR34","doi-asserted-by":"publisher","unstructured":"H\u00fcls, J., Pilch, C., Schinke, P., Niehaus, H., Delicaris, J., Remke, A.: State-space construction of hybrid petri nets with multiple stochastic firings. ACM Trans. Model. Comput. Simul. 31(3), 13:1\u201313:37 (2021). https:\/\/doi.org\/10.1145\/3449353","DOI":"10.1145\/3449353"},{"key":"2_CR35","doi-asserted-by":"publisher","unstructured":"J\u00e9gourel, C., Larsen, K.G., Legay, A., Mikucionis, M., Poulsen, D.B., Sedwards, S.: Importance sampling for stochastic timed automata. In: Fr\u00e4nzle, M., Kapur, D., Zhan, N. (eds.) Dependable Software Engineering: Theories, Tools, and Applications. SETTA 2016. LNCS, vol.\u00a09984, pp. 163\u2013178. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-47677-3_11","DOI":"10.1007\/978-3-319-47677-3_11"},{"key":"2_CR36","doi-asserted-by":"publisher","unstructured":"Kwiatkowska, M., Norman, G., Sproston, J., Wang, F.: Symbolic model checking for probabilistic timed automata. Inf. Comput. 205(7), 1027\u20131077 (2007). https:\/\/doi.org\/10.1016\/j.ic.2007.01.004, https:\/\/www.sciencedirect.com\/science\/article\/pii\/S0890540107000077","DOI":"10.1016\/j.ic.2007.01.004"},{"key":"2_CR37","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 [50] (2009). https:\/\/doi.org\/10.1002\/9780470745403.ch3","DOI":"10.1002\/9780470745403.ch3"},{"key":"2_CR38","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 [50] (2009). https:\/\/doi.org\/10.1002\/9780470745403.ch2","DOI":"10.1002\/9780470745403.ch2"},{"key":"2_CR39","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"},{"key":"2_CR40","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\u00a02020. EPiC Series in Computing, vol.\u00a073, pp. 354\u2013372. EasyChair (2020). https:\/\/doi.org\/10.29007\/P16V","DOI":"10.29007\/P16V"},{"issue":"3","key":"2_CR41","doi-asserted-by":"publisher","first-page":"246","DOI":"10.1109\/24.974122","volume":"50","author":"V Nicola","year":"2001","unstructured":"Nicola, V., Shahabuddin, P., Nakayama, M.: Techniques for fast simulation of models of highly dependable systems. IEEE Trans. Reliab. 50(3), 246\u2013264 (2001). https:\/\/doi.org\/10.1109\/24.974122","journal-title":"IEEE Trans. Reliab."},{"key":"2_CR42","doi-asserted-by":"publisher","unstructured":"Niehage, M., Remke, A.: Symbolic state-space exploration meets statistical model checking. Perform. Eval. 167, 102449 (2025). https:\/\/doi.org\/10.1016\/J.PEVA.2024.102449","DOI":"10.1016\/J.PEVA.2024.102449"},{"key":"2_CR43","doi-asserted-by":"publisher","unstructured":"Niehage, M., da\u00a0Silva, C., Remke, A., Hartmanns, A.: Rare event simulation for stochastic hybrid systems using symbolic importance functions. In: Dutle, A., Humphrey, L., Titolo, L. (eds.) NASA Formal Methods. NFM 2025. LNCS, vol. 15682, pp. 254\u2013274. Springer, Cham (2025). https:\/\/doi.org\/10.1007\/978-3-031-93706-4_15","DOI":"10.1007\/978-3-031-93706-4_15"},{"key":"2_CR44","doi-asserted-by":"publisher","unstructured":"O\u2019Connor, P.D.T., Kleyner, A.: Practical Reliability Engineering. John Wiley & Sons, Ltd., Hoboken (2011). https:\/\/doi.org\/10.1002\/9781119961260","DOI":"10.1002\/9781119961260"},{"issue":"6","key":"2_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":"1","key":"2_CR46","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":"2_CR47","doi-asserted-by":"publisher","unstructured":"Reijsbergen, D., de\u00a0Boer, P., Scheinhardt, W.R.W., Haverkort, B.R.: Automated rare event simulation for stochastic Petri nets. In: Joshi, K., Siegle, M., Stoelinga, M., D\u2019Argenio, P.R. (eds.) Quantitative Evaluation of Systems. QEST 2013. LNCS, vol.\u00a08054, pp. 372\u2013388. Springer, Berlin, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-40196-1_31","DOI":"10.1007\/978-3-642-40196-1_31"},{"key":"2_CR48","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":"2_CR49","doi-asserted-by":"publisher","unstructured":"Rubino, G., Tuffin, B.: Introduction to Rare Event Simulation, chap.\u00a01, pp. 1\u201313. In: Rubino and Tuffin [50] (2009). https:\/\/doi.org\/10.1002\/9780470745403.ch1","DOI":"10.1002\/9780470745403.ch1"},{"key":"2_CR50","doi-asserted-by":"publisher","unstructured":"Rubino, G., Tuffin, B. (eds.): Rare Event Simulation Using Monte Carlo Methods. Wiley, Hoboken (2009). https:\/\/doi.org\/10.1002\/9780470745403","DOI":"10.1002\/9780470745403"},{"issue":"4","key":"2_CR51","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."},{"key":"2_CR52","doi-asserted-by":"crossref","unstructured":"Trivedi, K.S., Bobbio, A.: Reliability and Availability Engineering: Modeling, Analysis, and Applications. Cambridge Univ. Press, Cambridge (2017)","DOI":"10.1017\/9781316163047"},{"issue":"8","key":"2_CR53","doi-asserted-by":"publisher","first-page":"728","DOI":"10.1109\/32.940727","volume":"27","author":"E Vicario","year":"2001","unstructured":"Vicario, E.: Static analysis and dynamic steering of time-dependent systems. IEEE Trans. Softw. Eng. 27(8), 728\u2013748 (2001). https:\/\/doi.org\/10.1109\/32.940727","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"5","key":"2_CR54","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)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"2_CR55","unstructured":"Vill\u00e9n-Altamirano, M., Vill\u00e9n-Altamirano, J.: RESTART: a method for accelerating rare event simulations. Queueing, Performance and Control in ATM (ITC-13), pp. 71\u201376 (1991)"},{"key":"2_CR56","doi-asserted-by":"publisher","unstructured":"Younes, H.L.S., Simmons, R.G.: Probabilistic verification of discrete event systems using acceptance sampling. In: Brinksma, E., Larsen, K.G. (eds.) Computer Aided Verification. CAV 2002. LNCS, vol.\u00a02404, pp. 223\u2013235. Springer, Berlin, Heidelberg (2002). https:\/\/doi.org\/10.1007\/3-540-45657-0_17","DOI":"10.1007\/3-540-45657-0_17"}],"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-032-05792-1_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,10,1]],"date-time":"2025-10-01T10:32:01Z","timestamp":1759314721000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-032-05792-1_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,10,2]]},"ISBN":["9783032057914","9783032057921"],"references-count":56,"URL":"https:\/\/doi.org\/10.1007\/978-3-032-05792-1_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,10,2]]},"assertion":[{"value":"2 October 2025","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"The artifact of this paper\u2014a reproduction package for the experiments in Sect.\u00a0\u2014is available at DOI\u00a0.","order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Data Availability Statement"}},{"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":"Aarhus","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Denmark","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2025","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"26 August 2025","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"28 August 2025","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"qest2025","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"}}]}}