{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,1]],"date-time":"2025-10-01T16:28:52Z","timestamp":1759336132885,"version":"3.37.3"},"reference-count":65,"publisher":"Springer Science and Business Media LLC","issue":"5","license":[{"start":{"date-parts":[[2022,10,1]],"date-time":"2022-10-01T00:00:00Z","timestamp":1664582400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2022,11,4]],"date-time":"2022-11-04T00:00:00Z","timestamp":1667520000000},"content-version":"vor","delay-in-days":34,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"DOI":"10.13039\/501100004004","name":"Universit\u00e0 degli Studi di Trento","doi-asserted-by":"crossref","id":[{"id":"10.13039\/501100004004","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Int J Softw Tools Technol Transfer"],"published-print":{"date-parts":[[2022,10]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>Dynamic fault trees (DFTs) are widely adopted in industry to assess the dependability of safety-critical equipment. Since many systems are too large to be studied numerically, DFTs dependability is often analysed using Monte Carlo simulation. A bottleneck here is that many simulation samples are required in the case of rare events, e.g. in highly reliable systems where components seldom fail. Rare event simulation (RES) provides techniques to reduce the number of samples in the case of rare events. In this article, we present a RES technique based on importance splitting to study failures in highly reliable DFTs, more precisely, on a variant of repairable fault trees (RFT). Whereas RES usually requires meta-information from an expert, our method is fully automatic. For this, we propose two different methods to derive the so-called importance function. On the one hand, we propose to cleverly exploit the RFT structure to compositionally construct such function. On the other hand, we explore different importance functions derived in different ways from the minimal cut sets of the tree, i.e., the minimal units that determine its failure. We handle RFTs with Markovian and non-Markovian failure and repair distributions\u2014for which no numerical methods exist\u2014and implement the techniques on a toolchain that includes the RES engine FIG, for which we also present improvements. We finally show the efficiency of our approach in several case studies.<\/jats:p>","DOI":"10.1007\/s10009-022-00675-x","type":"journal-article","created":{"date-parts":[[2022,11,4]],"date-time":"2022-11-04T07:03:27Z","timestamp":1667545407000},"page":"821-841","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["Analysis of non-Markovian repairable fault trees through rare event simulation"],"prefix":"10.1007","volume":"24","author":[{"given":"Carlos E.","family":"Budde","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pedro R.","family":"D\u2019Argenio","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ra\u00fal E.","family":"Monti","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mari\u00eblle","family":"Stoelinga","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2022,11,4]]},"reference":[{"key":"675_CR1","unstructured":"Abate, A., Budde, C.E., Cauchi, N., Hoque, K.A., Stoelinga, M.: Assessment of maintenance policies for smart buildings: application of formal methods to fault maintenance trees. PHM Society European Conference 4(1) (2018). https:\/\/www.phmpapers.org\/index.php\/phme\/article\/view\/385"},{"key":"675_CR2","doi-asserted-by":"publisher","unstructured":"Baier, C., Katoen, J., Hermanns, H.: Approximate symbolic model checking of continuous-time Markov chains. In: CONCUR\u00a01999, pp. 146\u2013161 (1999). https:\/\/doi.org\/10.1007\/3-540-48320-9_12","DOI":"10.1007\/3-540-48320-9_12"},{"issue":"4","key":"675_CR3","first-page":"180","volume":"2","author":"AJ Bayes","year":"1970","unstructured":"Bayes, A.J.: Statistical techniques for simulation models. Aust. Comput. J. 2(4), 180\u2013184 (1970)","journal-title":"Aust. Comput. J."},{"key":"675_CR4","doi-asserted-by":"publisher","unstructured":"Beccuti, M., Codetta-Raiteri, D., Franceschinis, G., Haddad, S.: Non deterministic repairable fault trees for computing optimal repair strategy. In: VALUETOOLS\u00a02008 (2010). https:\/\/doi.org\/10.4108\/ICST.VALUETOOLS2008.4411","DOI":"10.4108\/ICST.VALUETOOLS2008.4411"},{"key":"675_CR5","doi-asserted-by":"publisher","unstructured":"Blanchet, J., Mandjes, M.: Rare event simulation for queues. In: Rubino and Tuffin [50], pp. 87\u2013124. https:\/\/doi.org\/10.1002\/9780470745403.ch5","DOI":"10.1002\/9780470745403.ch5"},{"key":"675_CR6","doi-asserted-by":"publisher","unstructured":"Blom, H.A.P., Bakker, G.J.B., Krystul, J.: Rare event estimation for a large-scale stochastic hybrid system with air traffic application. In: Rubino and Tuffin [50], pp. 193\u2013214. https:\/\/doi.org\/10.1002\/9780470745403.ch9","DOI":"10.1002\/9780470745403.ch9"},{"key":"675_CR7","doi-asserted-by":"publisher","unstructured":"Bobbio, A., Codetta-Raiteri, D.: Parametric fault trees with dynamic gates and repair boxes. In: RAMS, pp. 459\u2013465. IEEE (2004). https:\/\/doi.org\/10.1109\/RAMS.2004.1285491","DOI":"10.1109\/RAMS.2004.1285491"},{"key":"675_CR8","doi-asserted-by":"publisher","unstructured":"Boudali, H., Crouzen, P., Haverkort, B.R., Kuntz, M., Stoelinga, M.: Architectural dependability evaluation with Arcade. In: DSN\u201908, pp. 512\u2013521. IEEE Computer Society (2008). https:\/\/doi.org\/10.1109\/DSN.2008.4630122","DOI":"10.1109\/DSN.2008.4630122"},{"key":"675_CR9","doi-asserted-by":"publisher","unstructured":"Boudali, H., Dugan, J.B.: A new Bayesian network approach to solve dynamic fault trees. In: RAMS\u00a02005, pp. 451\u2013456. IEEE (2005). https:\/\/doi.org\/10.1109\/RAMS.2005.1408404","DOI":"10.1109\/RAMS.2005.1408404"},{"key":"675_CR10","unstructured":"Budde, C.E.: Automation of importance splitting techniques for rare event simulation. Ph.D. thesis, FAMAF, Universidad Nacional de C\u00f3rdoba, C\u00f3rdoba, Argentina (2017). https:\/\/famaf.biblio.unc.edu.ar\/cgi-bin\/koha\/opac-detail.pl?biblionumber=18143"},{"key":"675_CR11","doi-asserted-by":"publisher","unstructured":"Budde, C.E.: FIG: the finite improbability generator. In: TACAS, LNCS, vol. 12078, pp. 483\u2013491. Springer (2020). https:\/\/doi.org\/10.1007\/978-3-030-45190-5_27","DOI":"10.1007\/978-3-030-45190-5_27"},{"key":"675_CR12","doi-asserted-by":"publisher","unstructured":"Budde, C.E., Biagi, M., Monti, R.E., D\u2019Argenio, P.R., Stoelinga, M.: Rare event simulation for non-markovian repairable fault trees. In: TACAS, LNCS, vol. 12078, pp. 463\u2013482. Springer (2020). https:\/\/doi.org\/10.1007\/978-3-030-45190-5_26","DOI":"10.1007\/978-3-030-45190-5_26"},{"key":"675_CR13","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."},{"key":"675_CR14","doi-asserted-by":"publisher","unstructured":"Budde, C.E., D\u2019Argenio, P.R., Hermanns, H.: Rare event simulation with fully automated importance splitting. In: EPEW 2015, LNCS, vol. 9272, pp. 275\u2013290. Springer (2015). https:\/\/doi.org\/10.1007\/978-3-319-23267-6_18","DOI":"10.1007\/978-3-319-23267-6_18"},{"key":"675_CR15","doi-asserted-by":"publisher","unstructured":"Budde, C.E., D\u2019Argenio, P.R., Monti, R.E.: Compositional construction of importance functions in fully automated importance splitting. In: VALUETOOLS\u00a02016, pp. 30\u201337 (2017). https:\/\/doi.org\/10.4108\/eai.25-10-2016.2266501","DOI":"10.4108\/eai.25-10-2016.2266501"},{"key":"675_CR16","doi-asserted-by":"publisher","unstructured":"Budde, C.E., Dehnert, C., Hahn, E.M., Hartmanns, A., Junges, S., Turrini, A.: JANI: quantitative model and tool interaction. In: TACAS, LNCS, vol. 10206, pp. 151\u2013168. Springer (2017). https:\/\/doi.org\/10.1007\/978-3-662-54580-5_9","DOI":"10.1007\/978-3-662-54580-5_9"},{"key":"675_CR17","doi-asserted-by":"publisher","unstructured":"Budde, C.E., Hartmanns, A.: Replicating RESTART with prolonged retrials: an experimental report. In: TACAS, LNCS, vol. 12652, pp. 373\u2013380. Springer (2021). https:\/\/doi.org\/10.1007\/978-3-030-72013-1_21","DOI":"10.1007\/978-3-030-72013-1_21"},{"key":"675_CR18","doi-asserted-by":"publisher","unstructured":"Budde, C.E., Monti, R.E., D\u2019Argenio, P.R.: Analysis of non-markovian repairable fault trees through rare event simulation. https:\/\/figshare.com\/articles\/software\/Analysis_of_non-Markovian_repairable_fault_trees_through_rare_event_simulation_experimental_reproduction_package_\/16907143 (2021). https:\/\/doi.org\/10.6084\/m9.figshare.16907143","DOI":"10.6084\/m9.figshare.16907143"},{"key":"675_CR19","doi-asserted-by":"publisher","unstructured":"Budde, C.E., Stoelinga, M.: Automated rare event simulation for fault tree analysis via minimal cut sets. In: MMB, LNCS, vol. 12040, pp. 259\u2013277. Springer (2020). https:\/\/doi.org\/10.1007\/978-3-030-43024-5_16","DOI":"10.1007\/978-3-030-43024-5_16"},{"key":"675_CR20","doi-asserted-by":"publisher","unstructured":"Codetta-Raiteri, D., Iacono, M., Franceschinis, G., Vittorini, V.: Repairable fault tree for the automatic evaluation of repair policies. In: DSN, pp. 659\u2013668. IEEE Computer Society (2004). https:\/\/doi.org\/10.1109\/DSN.2004.1311936","DOI":"10.1109\/DSN.2004.1311936"},{"key":"675_CR21","doi-asserted-by":"crossref","unstructured":"Coppit, D., Sullivan, K.J.: Galileo: A tool built from mass-market applications. In: Proceedings of the 2000 International Conference on Software Engineering 2000, pp. 750\u2013753. IEEE (2000)","DOI":"10.1145\/337180.337622"},{"key":"675_CR22","doi-asserted-by":"publisher","unstructured":"Coppit, D., Sullivan, K.J., Dugan, J.B.: Formal semantics of models for computational engineering: a case study on dynamic fault trees. In: ISSRE\u00a02000, pp. 270\u2013282 (2000). https:\/\/doi.org\/10.1109\/ISSRE.2000.885878","DOI":"10.1109\/ISSRE.2000.885878"},{"key":"675_CR23","doi-asserted-by":"publisher","unstructured":"Crouzen, P., Boudali, H., Stoelinga, M.: Dynamic fault tree analysis using input\/output interactive Markov chains. In: DSN\u00a02007, pp. 708\u2013717. IEEE Computer Society (2007). https:\/\/doi.org\/10.1109\/DSN.2007.37","DOI":"10.1109\/DSN.2007.37"},{"key":"675_CR24","doi-asserted-by":"publisher","unstructured":"D\u2019Argenio, P.R., Monti, R.E.: Input\/Output Stochastic Automata with Urgency: Confluence and weak determinism. In: ICTAC, LNCS, vol. 11187, pp. 132\u2013152. Springer (2018). https:\/\/doi.org\/10.1007\/978-3-030-02508-3_8","DOI":"10.1007\/978-3-030-02508-3_8"},{"key":"675_CR25","doi-asserted-by":"publisher","unstructured":"Distefano, S., Puliafito, A.: Dependability modeling and analysis in dynamic systems. In: 2007 IEEE International Parallel and Distributed Processing Symposium, pp. 1\u20138 (2007). https:\/\/doi.org\/10.1109\/IPDPS.2007.370601","DOI":"10.1109\/IPDPS.2007.370601"},{"key":"675_CR26","doi-asserted-by":"publisher","unstructured":"Dugan, J.B., Bavuso, S.J., Boyd, M.A.: Fault trees and sequence dependencies. In: ARMS\u00a01990, pp. 286\u2013293. IEEE (1990). https:\/\/doi.org\/10.1109\/ARMS.1990.67971","DOI":"10.1109\/ARMS.1990.67971"},{"key":"675_CR27","unstructured":"Garvels, M.J.J.: The splitting method in rare event simulation. Ph.D. thesis, Department of Computer Science, University of Twente, Enschede, The Netherlands (2000). http:\/\/eprints.eemcs.utwente.nl\/14291\/"},{"issue":"4","key":"675_CR28","doi-asserted-by":"publisher","first-page":"363","DOI":"10.1002\/ett.4460130408","volume":"13","author":"MJJ Garvels","year":"2002","unstructured":"Garvels, M.J.J., van Ommeren, J.K.C.W., Kroese, D.P.: On the importance function in splitting simulation. Eur. Trans. Telecommun. 13(4), 363\u2013371 (2002). https:\/\/doi.org\/10.1002\/ett.4460130408","journal-title":"Eur. Trans. Telecommun."},{"issue":"1","key":"675_CR29","doi-asserted-by":"publisher","first-page":"36","DOI":"10.1109\/12.123381","volume":"41","author":"A Goyal","year":"1992","unstructured":"Goyal, A., Shahabuddin, P., Heidelberger, P., Nicola, V.F., Glynn, P.W.: A unified framework for simulating Markovian models of highly dependable systems. IEEE Trans. Comput. 41(1), 36\u201351 (1992). https:\/\/doi.org\/10.1109\/12.123381","journal-title":"IEEE Trans. Comput."},{"key":"675_CR30","doi-asserted-by":"publisher","unstructured":"Guck, D., Katoen, J.P., Stoelinga, M., Luiten, T., Romijn, J.: Smart railroad maintenance engineering with stochastic model checking. In: Railways\u00a02014, Civil-Comp Proceedings. Civil-Comp Press (2014). https:\/\/doi.org\/10.4203\/ccp.104.299","DOI":"10.4203\/ccp.104.299"},{"key":"675_CR31","doi-asserted-by":"publisher","unstructured":"Guck, D., Spel, J., Stoelinga, M.: DFTCalc: Reliability centered maintenance via fault tree analysis (tool paper). In: ICFEM\u00a02015, LNCS, vol. 9407, pp. 304\u2013311. Springer (2015). https:\/\/doi.org\/10.1007\/978-3-319-25423-4_19","DOI":"10.1007\/978-3-319-25423-4_19"},{"issue":"5","key":"675_CR32","doi-asserted-by":"publisher","first-page":"512","DOI":"10.1007\/BF01211866","volume":"6","author":"H Hansson","year":"1994","unstructured":"Hansson, H., Jonsson, B.: A logic for reasoning about time and reliability. Form. Asp. Comput. 6(5), 512\u2013535 (1994). https:\/\/doi.org\/10.1007\/BF01211866","journal-title":"Form. Asp. Comput."},{"issue":"1","key":"675_CR33","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1145\/203091.203094","volume":"5","author":"P Heidelberger","year":"1995","unstructured":"Heidelberger, P.: Fast simulation of rare events in queueing and reliability models. ACM Trans. Model. Comput. Simul. 5(1), 43\u201385 (1995). https:\/\/doi.org\/10.1145\/203091.203094","journal-title":"ACM Trans. Model. Comput. Simul."},{"key":"675_CR34","unstructured":"Iglewicz, B., Hoaglin, D.: How to detect and handle outliers. ASQC basic references in quality control. ASQC Quality Press (1993)"},{"key":"675_CR35","doi-asserted-by":"publisher","unstructured":"Jegourel, C., Legay, A., Sedwards, S.: Importance splitting for statistical model checking rare properties. In: CAV\u00a02013, LNCS, vol. 8044, pp. 576\u2013591. Springer (2013). https:\/\/doi.org\/10.1007\/978-3-642-39799-8_38","DOI":"10.1007\/978-3-642-39799-8_38"},{"key":"675_CR36","doi-asserted-by":"publisher","unstructured":"J\u00e9gourel, C., Legay, A., Sedwards, S., Traonouez, L.M.: Distributed verification of rare properties using importance splitting observers. In: AVoCS\u00a02015, ECEASST, vol.\u00a072 (2015). https:\/\/doi.org\/10.14279\/tuj.eceasst.72.1024","DOI":"10.14279\/tuj.eceasst.72.1024"},{"key":"675_CR37","doi-asserted-by":"publisher","unstructured":"Junges, S., Guck, D., Katoen, J., Stoelinga, M.: Uncovering dynamic fault trees. In: DSN\u00a02016, pp. 299\u2013310. IEEE Computer Society (2016). https:\/\/doi.org\/10.1109\/DSN.2016.35","DOI":"10.1109\/DSN.2016.35"},{"key":"675_CR38","doi-asserted-by":"publisher","unstructured":"Junges, S., Guck, D., Katoen, J.P., Rensink, A., Stoelinga, M.: Fault trees on a diet. In: SETTA\u00a02015, LNCS, vol. 9409, pp. 3\u201318. Springer (2015). https:\/\/doi.org\/10.1007\/978-3-319-25942-0_1","DOI":"10.1007\/978-3-319-25942-0_1"},{"key":"675_CR39","first-page":"27","volume":"12","author":"H Kahn","year":"1951","unstructured":"Kahn, H., Harris, T.E.: Estimation of particle transmission by random sampling. Natl. Bur. Stand. Appl. Math. Ser. 12, 27\u201330 (1951)","journal-title":"Natl. Bur. Stand. Appl. Math. Ser."},{"key":"675_CR40","doi-asserted-by":"publisher","unstructured":"Katoen, J.P., Stoelinga, M.: Boosting fault tree analysis by formal methods, LNCS, vol. 10500, pp. 368\u2013389. Springer (2017). https:\/\/doi.org\/10.1007\/978-3-319-68270-9_19","DOI":"10.1007\/978-3-319-68270-9_19"},{"key":"675_CR41","doi-asserted-by":"crossref","unstructured":"Kwiatkowska, M., Norman, G., Parker, D.: Prism: Probabilistic symbolic model checker. In: International Conference on Modelling Techniques and Tools for Computer Performance Evaluation, pp. 200\u2013204. Springer (2002)","DOI":"10.1007\/3-540-46029-2_13"},{"key":"675_CR42","unstructured":"Law, A.M.: Simulation modeling and analysis. McGraw-Hill (2014)"},{"key":"675_CR43","doi-asserted-by":"publisher","unstructured":"L\u2019Ecuyer, P., Le\u00a0Gland, F., Lezaud, P., Tuffin, B.: Splitting techniques. In: Rubino and Tuffin [50], pp. 39\u201361. https:\/\/doi.org\/10.1002\/9780470745403.ch3","DOI":"10.1002\/9780470745403.ch3"},{"key":"675_CR44","doi-asserted-by":"publisher","unstructured":"Liu, Y., Wu, Y., Kalbarczyk, Z.: Smart maintenance via dynamic fault tree analysis: a case study on Singapore MRT system. In: DSN\u00a02017, pp. 511\u2013518. IEEE Computer Society (2017). https:\/\/doi.org\/10.1109\/DSN.2017.50","DOI":"10.1109\/DSN.2017.50"},{"key":"675_CR45","unstructured":"Monti, R.E.: Stochastic automata for fault tolerant concurrent systems. Ph.D. thesis, FAMAF, Universidad Nacional de C\u00f3rdoba, C\u00f3rdoba, Argentina (2018)"},{"key":"675_CR46","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 Series in Computing, vol.\u00a073, pp. 354\u2013372. EasyChair (2020). https:\/\/doi.org\/10.29007\/p16v","DOI":"10.29007\/p16v"},{"issue":"3","key":"675_CR47","doi-asserted-by":"publisher","first-page":"246","DOI":"10.1109\/24.974122","volume":"50","author":"VF Nicola","year":"2001","unstructured":"Nicola, V.F., Shahabuddin, P., Nakayama, M.K.: 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."},{"issue":"1","key":"675_CR48","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1007\/s10479-005-5727-9","volume":"134","author":"A Ridder","year":"2005","unstructured":"Ridder, A.: Importance sampling simulations of Markovian reliability systems using cross-entropy. Ann. Oper. Res. 134(1), 119\u2013136 (2005). https:\/\/doi.org\/10.1007\/s10479-005-5727-9","journal-title":"Ann. Oper. Res."},{"key":"675_CR49","doi-asserted-by":"publisher","unstructured":"Rubino, G., Tuffin, B.: Introduction to rare event simulation. In: Rare event simulation using Monte Carlo methods [50], pp. 1\u201313. https:\/\/doi.org\/10.1002\/9780470745403.ch1","DOI":"10.1002\/9780470745403.ch1"},{"volume-title":"Rare event simulation using Monte Carlo methods","year":"2009","key":"675_CR50","unstructured":"Rubino, G., Tuffin, B. (eds.): Rare event simulation using Monte Carlo methods. Wiley (2009)"},{"key":"675_CR51","doi-asserted-by":"publisher","unstructured":"Ruijters, E., Guck, D., Drolenga, P., Peters, M., Stoelinga, M.: Maintenance analysis and optimization via statistical model checking. In: QEST\u00a02016, LNCS, vol. 9826, pp. 331\u2013347. Springer (2016). https:\/\/doi.org\/10.1007\/978-3-319-43425-4_22","DOI":"10.1007\/978-3-319-43425-4_22"},{"key":"675_CR52","doi-asserted-by":"publisher","unstructured":"Ruijters, E., Guck, D., van Noort, M., Stoelinga, M.: Reliability-centered maintenance of the electrically insulated railway joint via fault tree analysis: a practical experience report. In: DSN\u00a02016, pp. 662\u2013669. IEEE Computer Society (2016). https:\/\/doi.org\/10.1109\/DSN.2016.67","DOI":"10.1109\/DSN.2016.67"},{"key":"675_CR53","doi-asserted-by":"publisher","first-page":"220","DOI":"10.1016\/j.ress.2019.02.004","volume":"186","author":"E Ruijters","year":"2019","unstructured":"Ruijters, E., Reijsbergen, D., de Boer, P.T., Stoelinga, M.: Rare event simulation for dynamic fault trees. Reliab. Eng. Syst. Saf. 186, 220\u2013231 (2019). https:\/\/doi.org\/10.1016\/j.ress.2019.02.004","journal-title":"Reliab. Eng. Syst. Saf."},{"key":"675_CR54","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1016\/j.cosrev.2015.03.001","volume":"15\u201316","author":"E Ruijters","year":"2015","unstructured":"Ruijters, E., Stoelinga, M.: Fault tree analysis: a survey of the state-of-the-art in modeling, analysis and tools. Comput. Sci. Rev. 15\u201316, 29\u201362 (2015). https:\/\/doi.org\/10.1016\/j.cosrev.2015.03.001","journal-title":"Comput. Sci. Rev."},{"key":"675_CR55","doi-asserted-by":"publisher","unstructured":"Sullivan, K., Dugan, J., Coppit, D.: The Galileo fault tree analysis tool. In: 29th Annual International Symposium on Fault-Tolerant Computing (Cat. No.99CB36352), pp. 232\u2013235. IEEE (1999). https:\/\/doi.org\/10.1109\/FTCS.1999.781056","DOI":"10.1109\/FTCS.1999.781056"},{"key":"675_CR56","unstructured":"Sullivan, K.J., Dugan, J.B.: Galileo user\u2019s manual & design overview. https:\/\/www.cse.msu.edu\/~cse870\/Materials\/FaultTolerant\/manual-galileo.htm (1998). V2.1-alpha"},{"key":"675_CR57","unstructured":"Vesely, W., Stamatelatos, M., Dugan, J., Fragola, J., Minarick, J., Railsback, J.: Fault tree handbook with aerospace applications. NASA Office of Safety and Mission Assurance (2002). Version 1.1"},{"issue":"3","key":"675_CR58","first-page":"183","volume":"52","author":"J Vill\u00e9n-Altamirano","year":"1998","unstructured":"Vill\u00e9n-Altamirano, J.: RESTART method for the case where rare events can occur in retrials from any threshold. Int. J. Electron. Commun. 52(3), 183\u2013189 (1998)","journal-title":"Int. J. Electron. Commun."},{"issue":"12","key":"675_CR59","doi-asserted-by":"publisher","first-page":"821","DOI":"10.1177\/0037549707081257","volume":"83","author":"J Vill\u00e9n-Altamirano","year":"2007","unstructured":"Vill\u00e9n-Altamirano, J.: Importance functions for RESTART simulation of highly-dependable systems. Simulation 83(12), 821\u2013828 (2007). https:\/\/doi.org\/10.1177\/0037549707081257","journal-title":"Simulation"},{"key":"675_CR60","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1016\/j.peva.2018.02.002","volume":"121\u2013122","author":"J Vill\u00e9n-Altamirano","year":"2018","unstructured":"Vill\u00e9n-Altamirano, J.: RESTART vs splitting: a comparative study. Perform. Eval. 121\u2013122, 38\u201347 (2018). https:\/\/doi.org\/10.1016\/j.peva.2018.02.002","journal-title":"Perform. Eval."},{"key":"675_CR61","doi-asserted-by":"publisher","first-page":"100","DOI":"10.1016\/j.orp.2019.100108","volume":"6","author":"J Vill\u00e9n-Altamirano","year":"2019","unstructured":"Vill\u00e9n-Altamirano, J.: An improved variant of the rare event simulation method RESTART using prolonged retrials. Oper. Res. Perspect. 6, 100\u2013108 (2019). https:\/\/doi.org\/10.1016\/j.orp.2019.100108","journal-title":"Oper. Res. Perspect."},{"key":"675_CR62","doi-asserted-by":"publisher","unstructured":"Vill\u00e9n-Altamirano, M., Mart\u00ednez-Marr\u00f3n, A., Gamo, J., Fern\u00e1ndez-Cuesta, F.: Enhancement of the accelerated simulation method RESTART by considering multiple thresholds. In: Proc. 14$$_{th}$$ Int. Teletraffic Congress, Teletraffic Science and Engineering, vol.\u00a01, pp. 797\u2013810. Elsevier (1994). https:\/\/doi.org\/10.1016\/B978-0-444-82031-0.50084-6","DOI":"10.1016\/B978-0-444-82031-0.50084-6"},{"key":"675_CR63","unstructured":"Vill\u00e9n-Altamirano, M., Vill\u00e9n-Altamirano, J.: RESTART: a method for accelerating rare event simulations. In: Queueing, Performance and Control in ATM (ITC-13), pp. 71\u201376. Elsevier (1991)"},{"issue":"4","key":"675_CR64","doi-asserted-by":"publisher","first-page":"373","DOI":"10.1002\/ett.4460130409","volume":"13","author":"M Vill\u00e9n-Altamirano","year":"2002","unstructured":"Vill\u00e9n-Altamirano, M., Vill\u00e9n-Altamirano, J.: Analysis of restart simulation: Theoretical basis and sensitivity study. Eur. Trans. Telecommun. 13(4), 373\u2013385 (2002). https:\/\/doi.org\/10.1002\/ett.4460130409","journal-title":"Eur. Trans. Telecommun."},{"issue":"3","key":"675_CR65","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1016\/j.ress.2006.04.004","volume":"92","author":"G Xiao","year":"2007","unstructured":"Xiao, G., Li, Z., Li, T.: Dependability estimation for non-Markov consecutive-k-out-of-n: F repairable systems by fast simulation. Reliab. Eng. Syst. Saf. 92(3), 293\u2013299 (2007). https:\/\/doi.org\/10.1016\/j.ress.2006.04.004","journal-title":"Reliab. Eng. Syst. Saf."}],"container-title":["International Journal on Software Tools for Technology Transfer"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-022-00675-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10009-022-00675-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-022-00675-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,3,3]],"date-time":"2023-03-03T11:06:59Z","timestamp":1677841619000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10009-022-00675-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,10]]},"references-count":65,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2022,10]]}},"alternative-id":["675"],"URL":"https:\/\/doi.org\/10.1007\/s10009-022-00675-x","relation":{},"ISSN":["1433-2779","1433-2787"],"issn-type":[{"type":"print","value":"1433-2779"},{"type":"electronic","value":"1433-2787"}],"subject":[],"published":{"date-parts":[[2022,10]]},"assertion":[{"value":"29 August 2022","order":1,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"4 November 2022","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}