{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,9]],"date-time":"2026-04-09T05:56:43Z","timestamp":1775714203619,"version":"3.50.1"},"publisher-location":"Cham","reference-count":54,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319682693","type":"print"},{"value":"9783319682709","type":"electronic"}],"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":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-68270-9_19","type":"book-chapter","created":{"date-parts":[[2017,9,26]],"date-time":"2017-09-26T07:17:19Z","timestamp":1506410239000},"page":"368-389","source":"Crossref","is-referenced-by-count":5,"title":["Boosting Fault Tree Analysis by Formal Methods"],"prefix":"10.1007","author":[{"given":"Joost-Pieter","family":"Katoen","sequence":"first","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":[[2017,9,27]]},"reference":[{"key":"19_CR1","doi-asserted-by":"crossref","unstructured":"Ammar, M., Hamad, G.B., Mohamed, O.A., Savaria, Y.: Efficient probabilistic fault tree analysis of safety critical systems via probabilistic model checking. In: Proceedins of FDL. IEEE (2016)","DOI":"10.1109\/FDL.2016.7880373"},{"key":"19_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1007\/978-3-642-40793-2_27","volume-title":"Computer Safety, Reliability, and Security","author":"F Arnold","year":"2013","unstructured":"Arnold, F., Belinfante, A., Van der Berg, F., Guck, D., Stoelinga, M.: DFTCalc: a tool for efficient fault tree analysis. In: Bitsch, F., Guiochet, J., Ka\u00e2niche, M. (eds.) SAFECOMP 2013. LNCS, vol. 8153, pp. 293\u2013301. Springer, Heidelberg (2013). doi: 10.1007\/978-3-642-40793-2_27"},{"key":"19_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"291","DOI":"10.1007\/978-3-319-24249-1_25","volume-title":"Computer Safety, Reliability, and Security","author":"F Arnold","year":"2015","unstructured":"Arnold, F., Guck, D., Kumar, R., Stoelinga, M.: Sequential and parallel attack tree modelling. In: Koornneef, F., van Gulijk, C. (eds.) SAFECOMP 2015. LNCS, vol. 9338, pp. 291\u2013299. Springer, Cham (2015). doi: 10.1007\/978-3-319-24249-1_25"},{"key":"19_CR4","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":"19_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"441","DOI":"10.1007\/978-3-540-75596-8_31","volume-title":"Automated Technology for Verification and Analysis","author":"H Boudali","year":"2007","unstructured":"Boudali, H., Crouzen, P., Stoelinga, M.: A compositional semantics for dynamic fault trees in terms of interactive Markov chains. In: Namjoshi, K.S., Yoneda, T., Higashino, T., Okamura, Y. (eds.) ATVA 2007. LNCS, vol. 4762, pp. 441\u2013456. Springer, Heidelberg (2007). doi: 10.1007\/978-3-540-75596-8_31"},{"key":"19_CR6","doi-asserted-by":"crossref","unstructured":"Boudali, H., Crouzen, P., Stoelinga, M.I.A.: Dynamic fault tree analysis using input\/output interactive Markov chains. In Proceedings of DSN, pp. 708\u2013717 (2007)","DOI":"10.1109\/DSN.2007.37"},{"issue":"2","key":"19_CR7","doi-asserted-by":"crossref","first-page":"128","DOI":"10.1109\/TDSC.2009.45","volume":"7","author":"H Boudali","year":"2010","unstructured":"Boudali, H., Crouzen, P., Stoelinga, M.I.A.: A rigorous, compositional, and extensible framework for dynamic fault tree analysis. IEEE Trans. Dependable Secure Comput. 7(2), 128\u2013143 (2010)","journal-title":"IEEE Trans. Dependable Secure Comput."},{"key":"19_CR8","doi-asserted-by":"crossref","first-page":"754","DOI":"10.1093\/comjnl\/bxq024","volume":"54","author":"M Bozzano","year":"2011","unstructured":"Bozzano, M., Cimatti, A., Katoen, J.-P., Nguyen, V.Y., Noll, T., Roveri, M.: Safety, dependability and performance analysis of extended AADL models. Comput. J. 54, 754\u2013775 (2011)","journal-title":"Comput. J."},{"key":"19_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"162","DOI":"10.1007\/978-3-540-75596-8_13","volume-title":"Automated Technology for Verification and Analysis","author":"M Bozzano","year":"2007","unstructured":"Bozzano, M., Cimatti, A., Tapparo, F.: Symbolic fault tree analysis for reactive systems. In: Namjoshi, K.S., Yoneda, T., Higashino, T., Okamura, Y. (eds.) ATVA 2007. LNCS, vol. 4762, pp. 162\u2013176. Springer, Heidelberg (2007). doi: 10.1007\/978-3-540-75596-8_13"},{"key":"19_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"275","DOI":"10.1007\/978-3-319-23267-6_18","volume-title":"Computer Performance Engineering","author":"CE Budde","year":"2015","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 2015. LNCS, vol. 9272, pp. 275\u2013290. Springer, Cham (2015). doi: 10.1007\/978-3-319-23267-6_18"},{"key":"19_CR11","doi-asserted-by":"crossref","unstructured":"Burch, J.R., Clarke, E.M., McMillan, K.L., Dill, D.L., Hwang, L.J.: Symbolic model checking: $$10^{20}$$ states and beyond. In: Proceedings of LICS, pp. 428\u2013439. IEEE Computer Society (1990)","DOI":"10.1109\/LICS.1990.113767"},{"key":"19_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1007\/BFb0028741","volume-title":"Computer Aided Verification","author":"EM Clarke","year":"1998","unstructured":"Clarke, E.M., Emerson, E.A., Jha, S., Sistla, A.P.: Symmetry reductions in model checking. In: Hu, A.J., Vardi, M.Y. (eds.) CAV 1998. LNCS, vol. 1427, pp. 147\u2013158. Springer, Heidelberg (1998). doi: 10.1007\/BFb0028741"},{"key":"19_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1007\/978-3-642-19811-3_9","volume-title":"Fundamental Approaches to Software Engineering","author":"P Crouzen","year":"2011","unstructured":"Crouzen, P., Lang, F.: Smart reduction. In: Giannakopoulou, D., Orejas, F. (eds.) FASE 2011. LNCS, vol. 6603, pp. 111\u2013126. Springer, Heidelberg (2011). doi: 10.1007\/978-3-642-19811-3_9"},{"key":"19_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1007\/978-3-319-33693-0_7","volume-title":"Integrated Formal Methods","author":"PR D\u2019Argenio","year":"2016","unstructured":"D\u2019Argenio, P.R., Hartmanns, A., Legay, A., Sedwards, S.: Statistical approximation of optimal schedulers for probabilistic timed automata. In: \u00c1brah\u00e1m, E., Huisman, M. (eds.) IFM 2016. LNCS, vol. 9681, pp. 99\u2013114. Springer, Cham (2016). doi: 10.1007\/978-3-319-33693-0_7"},{"key":"19_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"592","DOI":"10.1007\/978-3-319-63390-9_31","volume-title":"Computer Aided Verification","author":"C Dehnert","year":"2017","unstructured":"Dehnert, C., Junges, S., Katoen, J.P., Volk, M.: A Storm is coming: a modern probabilistic model checker. In: Majumdar, R., Kun\u0109ak, V. (eds.) CAV 2017. LNCS, vol. 10427, pp. 592\u2013600. Springer, Cham (2017). doi: 10.1007\/978-3-319-63390-9_31"},{"issue":"3","key":"19_CR16","doi-asserted-by":"crossref","first-page":"363","DOI":"10.1109\/24.159800","volume":"41","author":"JB Dugan","year":"1992","unstructured":"Dugan, J.B., Bavuso, S.J., Boyd, M.A.: Dynamic fault-tree models for fault-tolerant computer systems. IEEE Trans. Reliab. 41(3), 363\u2013377 (1992)","journal-title":"IEEE Trans. Reliab."},{"key":"19_CR17","doi-asserted-by":"crossref","unstructured":"Eisentraut, C., Hermanns, H., Zhang, L.: On probabilistic automata in continuous time. In: Proceedings of LICS, pp. 342\u2013351. IEEE CS (2010)","DOI":"10.1109\/LICS.2010.41"},{"key":"19_CR18","doi-asserted-by":"crossref","unstructured":"Esteve, M.-A., Katoen, J.-P., Nguyen, V.Y., Postma, B., Yushtein, Y.: Formal correctness, safety, dependability, and performance analysis of a satellite. In: Proceedings of ICSE, pp. 1022\u20131031. IEEE Computer Society (2012)","DOI":"10.1109\/ICSE.2012.6227118"},{"issue":"2","key":"19_CR19","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1007\/s10009-012-0244-z","volume":"15","author":"H Garavel","year":"2013","unstructured":"Garavel, H., Lang, F., Mateescu, R., Serwe, W.: CADP 2011: a toolbox for the construction and analysis of distributed processes. Int. J. Softw. Tools Technol. Transfer 15(2), 89\u2013107 (2013)","journal-title":"Int. J. Softw. Tools Technol. Transfer"},{"key":"19_CR20","doi-asserted-by":"crossref","first-page":"289","DOI":"10.1016\/j.ress.2015.06.001","volume":"142","author":"D Ge","year":"2015","unstructured":"Ge, D., Lin, M., Yang, Y., Zhang, R., Chou, Q.: Quantitative analysis of dynamic fault trees using improved sequential binary decision diagrams. Reliab. Eng. Syst. Safe 142, 289\u2013299 (2015)","journal-title":"Reliab. Eng. Syst. Safe"},{"key":"19_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/978-3-319-66266-4_1","volume-title":"Computer Safety, Reliability, and Security","author":"M Ghadhab","year":"2017","unstructured":"Ghadhab, M., Junges, S., Katoen, J.P., Kuntz, M., Volk, M.: Model-based safety analysis for vehicle guidance systems. In: Tonetta, S., Schoitsch, E., Bitsch, F. (eds.) SAFECOMP 2017. LNCS, vol. 10488, pp. 3\u201319. Springer, Cham (2017). doi: 10.1007\/978-3-319-66266-4_1"},{"issue":"1","key":"19_CR22","doi-asserted-by":"crossref","first-page":"15","DOI":"10.1007\/s10009-011-0186-x","volume":"14","author":"AH Ghamarian","year":"2012","unstructured":"Ghamarian, A.H., de Mol, M., Rensink, A., Zambon, E., Zimakova, M.: Modelling and analysis using GROOVE. STTT 14(1), 15\u201340 (2012)","journal-title":"STTT"},{"key":"19_CR23","doi-asserted-by":"crossref","unstructured":"Guck, D., Hatefi, H., Hermanns, H., Katoen, J.-P., Timmer, M.: Analysis of timed and long-run objectives for Markov automata. LMCS, 10(3) (2014)","DOI":"10.2168\/LMCS-10(3:17)2014"},{"key":"19_CR24","unstructured":"Guck, D., Katoen, J.-P., Stoelinga, M.I.A., Luiten, T., Romijn, J.: Smart railroad maintenance engineering with stochastic model checking. In: Proceedings of RAILWAYS. Civil-Comp Proceedings, vol. 104, pp. 299\u2013314. Civil-Comp Press (2014)"},{"key":"19_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"304","DOI":"10.1007\/978-3-319-25423-4_19","volume-title":"Formal Methods and Software Engineering","author":"D Guck","year":"2015","unstructured":"Guck, D., Spel, J., Stoelinga, M.: DFTCalc: reliability centered maintenance via fault tree analysis (tool paper). In: Butler, M., Conchon, S., Za\u00efdi, F. (eds.) ICFEM 2015. LNCS, vol. 9407, pp. 304\u2013311. Springer, Cham (2015). doi: 10.1007\/978-3-319-25423-4_19"},{"key":"19_CR26","doi-asserted-by":"crossref","unstructured":"Gulati, R., Dugan, J.B.: A modular approach for analyzing static and dynamic fault trees. In: Proceedings of RAMS, pp. 57\u201363 (1997)","DOI":"10.1109\/RAMS.1997.571665"},{"issue":"1","key":"19_CR27","doi-asserted-by":"crossref","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)","journal-title":"ACM Trans. Model. Comput. Simul."},{"key":"19_CR28","series-title":"Lecture Notes in Computer Science","volume-title":"Interactive Markov Chains: The Quest for Quantied Quality","author":"H Hermanns","year":"2002","unstructured":"Hermanns, H.: Interactive Markov Chains: The Quest for Quantied Quality. LNCS, vol. 2428. Springer, Heidelberg (2002)"},{"key":"19_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"311","DOI":"10.1007\/978-3-642-17071-3_16","volume-title":"Formal Methods for Components and Objects","author":"H Hermanns","year":"2010","unstructured":"Hermanns, H., Katoen, J.-P.: The how and why of interactive Markov chains. In: de Boer, F.S., Bonsangue, M.M., Hallerstede, S., Leuschel, M. (eds.) FMCO 2009. LNCS, vol. 6286, pp. 311\u2013337. Springer, Heidelberg (2010). doi: 10.1007\/978-3-642-17071-3_16"},{"issue":"4","key":"19_CR30","doi-asserted-by":"crossref","first-page":"651","DOI":"10.1007\/s00165-016-0412-0","volume":"29","author":"S Junges","year":"2017","unstructured":"Junges, S., Guck, D., Katoen, J.-P., Rensink, A., Stoelinga, M.: Fault trees on a diet: automated reduction by graph rewriting. Formal Asp. Comput. 29(4), 651\u2013703 (2017)","journal-title":"Formal Asp. Comput."},{"key":"19_CR31","doi-asserted-by":"crossref","unstructured":"Junges, S., Guck, D., Katoen, J.-P., Stoelinga, M.I.A.: Uncovering dynamic fault trees. In: Proceedings of DSN, pp. 299\u2013310. IEEE CS (2016)","DOI":"10.1109\/DSN.2016.35"},{"key":"19_CR32","doi-asserted-by":"crossref","first-page":"114","DOI":"10.1016\/j.eswa.2017.01.058","volume":"77","author":"S Kabir","year":"2017","unstructured":"Kabir, S.: An overview of fault tree analysis and its application in model based dependability analysis. Expert Syst. Appl. 77, 114\u2013135 (2017)","journal-title":"Expert Syst. Appl."},{"key":"19_CR33","unstructured":"Kahn, H., Harris, T.E.: Estimation of particle transmission by random sampling. In: Monte Carlo Method; Proceedings of the Symposium National Bureau of Standards Applied Mathematics Series, 29, 30 June and 1 July 1949, vol. 12, pp. 27\u201330 (1951)"},{"key":"19_CR34","doi-asserted-by":"crossref","unstructured":"Katoen, J.-P.: The probabilistic model checking landscape. In: Proceedings of LICS, pp. 31\u201345. ACM (2016)","DOI":"10.1145\/2933575.2934574"},{"issue":"2","key":"19_CR35","doi-asserted-by":"crossref","first-page":"90","DOI":"10.1016\/j.peva.2010.04.001","volume":"68","author":"J-P Katoen","year":"2011","unstructured":"Katoen, J.-P., Zapreev, I.S., Hahn, E.M., Hermanns, H., Jansen, D.N.: The ins and outs of the probabilistic model checker MRMC. Perform. Eval. 68(2), 90\u2013104 (2011)","journal-title":"Perform. Eval."},{"key":"19_CR36","doi-asserted-by":"crossref","unstructured":"Kumar, R., Stoelinga, M.: Quantitative security and safety analysis with attack-fault trees. In: Proceedings of HASE, pp. 25\u201332. IEEE (2017)","DOI":"10.1109\/HASE.2017.12"},{"key":"19_CR37","doi-asserted-by":"crossref","unstructured":"Kwiatkowska, M.Z.: Model checking for probability and time: from theory to practice. In: Proceedings of LICS, pp. 351\u2013360. IEEE Computer Society (2003)","DOI":"10.1109\/LICS.2003.1210075"},{"key":"19_CR38","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). doi: 10.1007\/978-3-642-22110-1_47"},{"key":"19_CR39","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"843","DOI":"10.1007\/978-3-319-47169-3_62","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications","author":"KG Larsen","year":"2016","unstructured":"Larsen, K.G., Legay, A.: On the power of statistical model checking. In: Margaria, T., Steffen, B. (eds.) ISoLA 2016. LNCS, vol. 9953, pp. 843\u2013862. Springer, Cham (2016). doi: 10.1007\/978-3-319-47169-3_62"},{"key":"19_CR40","doi-asserted-by":"crossref","unstructured":"Montani, S., Portinale, L., Bobbio, A., Codetta-Raiteri, D.: Automatically translating dynamic fault trees into dynamic Bayesian networks by means of a software tool. In: Proceedings of ARES, pp. 804\u2013809 (2006)","DOI":"10.1109\/ARES.2006.34"},{"issue":"5","key":"19_CR41","doi-asserted-by":"crossref","first-page":"1295","DOI":"10.1088\/0143-0807\/31\/5\/028","volume":"31","author":"J Morio","year":"2010","unstructured":"Morio, J., Pastel, R., Le Gland, F.: An overview of importance splitting for rare event simulation. Eur. J. Phys. 31(5), 1295\u20131303 (2010)","journal-title":"Eur. J. Phys."},{"key":"19_CR42","unstructured":"Musk, E.: (2015). https:\/\/twitter.com\/elonmusk\/status\/615185689999765504"},{"issue":"4","key":"19_CR43","doi-asserted-by":"crossref","first-page":"872","DOI":"10.1016\/j.ress.2008.09.007","volume":"94","author":"K Durga Rao","year":"2009","unstructured":"Durga Rao, K., Gopika, V., Sanyasi Rao, V.V.S., Kushwaha, H.S., Verma, A.K., Srividya, A.: Dynamic fault tree analysis using Monte Carlo simulation in probabilistic safety assessment. Reliab. Eng. Syst. Safe 94(4), 872\u2013883 (2009)","journal-title":"Reliab. Eng. Syst. Safe"},{"key":"19_CR44","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"331","DOI":"10.1007\/978-3-319-43425-4_22","volume-title":"Quantitative Evaluation of Systems","author":"E Ruijters","year":"2016","unstructured":"Ruijters, E., Guck, D., Drolenga, P., Peters, M., Stoelinga, M.: Maintenance analysis and optimization via statistical model checking. In: Agha, G., Van Houdt, B. (eds.) QEST 2016. LNCS, vol. 9826, pp. 331\u2013347. Springer, Cham (2016). doi: 10.1007\/978-3-319-43425-4_22"},{"key":"19_CR45","doi-asserted-by":"crossref","unstructured":"Ruijters, E., Guck, D., Drolenga, P., Stoelinga, M.: Fault maintenance trees: reliability centered maintenance via statistical model checking. In: Proceedings of RAMS. IEEE (2016)","DOI":"10.1109\/RAMS.2016.7447986"},{"key":"19_CR46","doi-asserted-by":"crossref","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: Proceedings of DSN, pp. 662\u2013669. IEEE (2016)","DOI":"10.1109\/DSN.2016.67"},{"key":"19_CR47","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1007\/978-3-319-66266-4_2","volume-title":"Computer Safety, Reliability, and Security","author":"E Ruijters","year":"2017","unstructured":"Ruijters, E., Reijsbergen, D., de Boer, P.T., Stoelinga, M.: Rare event simulation for dynamic fault trees. In: Tonetta, S., Schoitsch, E., Bitsch, F. (eds.) SAFECOMP 2017. LNCS, vol. 10488, pp. 20\u201335. Springer, Cham (2017). doi: 10.1007\/978-3-319-66266-4_2"},{"key":"19_CR48","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1007\/978-3-319-47166-2_10","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques","author":"E Ruijters","year":"2016","unstructured":"Ruijters, E., Stoelinga, M.: Better railway engineering through statistical model checking. In: Margaria, T., Steffen, B. (eds.) ISoLA 2016. LNCS, vol. 9952, pp. 151\u2013165. Springer, Cham (2016). doi: 10.1007\/978-3-319-47166-2_10"},{"key":"19_CR49","doi-asserted-by":"crossref","first-page":"29","DOI":"10.1016\/j.cosrev.2015.03.001","volume":"15\u201316","author":"E Ruijters","year":"2015","unstructured":"Ruijters, E., Stoelinga, M.I.A.: Fault tree analysis: a survey of the state-of-the-art in modeling, analysis and tools. Comput. Sci. Rev. 15\u201316, 29\u201362 (2015)","journal-title":"Comput. Sci. Rev."},{"key":"19_CR50","doi-asserted-by":"crossref","unstructured":"Sullivan, K.J., Dugan, J.B., Coppit, D.: The Galileo fault tree analysis tool. In: Proceedings of FTCS, pp. 232\u2013235 (1999)","DOI":"10.1109\/FTCS.1999.781056"},{"key":"19_CR51","doi-asserted-by":"crossref","first-page":"193","DOI":"10.1016\/j.tcs.2016.01.017","volume":"655","author":"M Timmer","year":"2016","unstructured":"Timmer, M., Katoen, J.-P., van de Pol, J., Stoelinga, M.: Confluence reduction for Markov automata. Theoret. Comput. Sci. 655, 193\u2013219 (2016)","journal-title":"Theoret. Comput. Sci."},{"key":"19_CR52","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"253","DOI":"10.1007\/978-3-319-45477-1_20","volume-title":"Computer Safety, Reliability, and Security","author":"M Volk","year":"2016","unstructured":"Volk, M., Junges, S., Katoen, J.-P.: Advancing dynamic fault tree analysis - get succinct state spaces fast and synthesise failure rates. In: Skavhaug, A., Guiochet, J., Bitsch, F. (eds.) SAFECOMP 2016. LNCS, vol. 9922, pp. 253\u2013265. Springer, Cham (2016). doi: 10.1007\/978-3-319-45477-1_20"},{"key":"19_CR53","doi-asserted-by":"publisher","unstructured":"Volk, M., Junges, S., Katoen, J.-P.: Fast dynamic fault tree analysis by model checking techniques. IEEE Trans. Ind. Inform. (2017 to appear). doi: 10.1109\/TII.2017.2710316","DOI":"10.1109\/TII.2017.2710316"},{"issue":"11","key":"19_CR54","doi-asserted-by":"crossref","first-page":"1577","DOI":"10.1016\/j.ress.2008.02.016","volume":"93","author":"T Yuge","year":"2008","unstructured":"Yuge, T., Yanagi, S.: Quantitative analysis of a fault tree with priority AND gates. Reliab. Eng. Syst. Safe 93(11), 1577\u20131583 (2008)","journal-title":"Reliab. Eng. Syst. Safe"}],"container-title":["Lecture Notes in Computer Science","ModelEd, TestEd, TrustEd"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-68270-9_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,3]],"date-time":"2019-10-03T19:51:52Z","timestamp":1570132312000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-68270-9_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319682693","9783319682709"],"references-count":54,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-68270-9_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017]]}}}