{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T07:57:50Z","timestamp":1743148670491,"version":"3.40.3"},"publisher-location":"Cham","reference-count":41,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031757778"},{"type":"electronic","value":"9783031757785"}],"license":[{"start":{"date-parts":[[2024,11,18]],"date-time":"2024-11-18T00:00:00Z","timestamp":1731888000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,11,18]],"date-time":"2024-11-18T00:00:00Z","timestamp":1731888000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2025]]},"DOI":"10.1007\/978-3-031-75778-5_13","type":"book-chapter","created":{"date-parts":[[2024,11,17]],"date-time":"2024-11-17T12:09:23Z","timestamp":1731845363000},"page":"274-293","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Modular Criticality Analysis for\u00a0Dynamic Fault Trees"],"prefix":"10.1007","author":[{"given":"Falak","family":"Sher","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6793-8165","authenticated-orcid":false,"given":"Mari\u00eblle","family":"Stoelinga","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3810-4185","authenticated-orcid":false,"given":"Matthias","family":"Volk","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2024,11,18]]},"reference":[{"key":"13_CR1","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). https:\/\/doi.org\/10.1007\/978-3-642-40793-2_27"},{"key":"13_CR2","doi-asserted-by":"crossref","unstructured":"Aslansefat, K., Kabir, S., Gheraibia, Y., Papadopoulos, Y.: Dynamic fault tree analysis: state-of-the-art in modeling, analysis, and tools. In: Reliability Management and Engineering, 1 edn, pp. 73\u2013112. CRC Press (2020)","DOI":"10.1201\/9780429268922-4"},{"issue":"6","key":"13_CR3","doi-asserted-by":"publisher","first-page":"524","DOI":"10.1109\/TSE.2003.1205180","volume":"29","author":"C Baier","year":"2003","unstructured":"Baier, C., Haverkort, B.R., Hermanns, H., Katoen, J.P.: Model-checking algorithms for continuous-time Markov chains. IEEE Trans. Software Eng. 29(6), 524\u2013541 (2003). https:\/\/doi.org\/10.1109\/TSE.2003.1205180","journal-title":"IEEE Trans. Software Eng."},{"key":"13_CR4","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"713","DOI":"10.1007\/978-3-031-06773-0_38","volume-title":"NFM 2022","author":"D Basg\u00f6ze","year":"2022","unstructured":"Basg\u00f6ze, D., Volk, M., Katoen, J.P., Khan, S., Stoelinga, M.: BDDs strike back - efficient analysis of static and dynamic fault trees. In: Deshmukh, J.V., Havelund, K., Perez, I. (eds.) NFM 2022. LNCS, vol. 13260, pp. 713\u2013732. Springer, Cham (2022). https:\/\/doi.org\/10.1007\/978-3-031-06773-0_38"},{"key":"13_CR5","doi-asserted-by":"crossref","unstructured":"Birnbaum, Z.W.: On the importance of different components in a multicomponent system. Technical report, TR-54, Laboratory of Statistical Research, University of Washington (1968)","DOI":"10.21236\/AD0670563"},{"issue":"2","key":"13_CR6","doi-asserted-by":"publisher","first-page":"128","DOI":"10.1109\/TDSC.2009.45","volume":"7","author":"H Boudali","year":"2010","unstructured":"Boudali, H., Crouzen, P., Stoelinga, M.: A rigorous, compositional, and extensible framework for dynamic fault tree analysis. IEEE Trans. Dependable Secur. Comput. 7(2), 128\u2013143 (2010). https:\/\/doi.org\/10.1109\/TDSC.2009.45","journal-title":"IEEE Trans. Dependable Secur. Comput."},{"key":"13_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1007\/978-3-030-59854-9_17","volume-title":"Quantitative Evaluation of Systems","author":"CE Budde","year":"2020","unstructured":"Budde, C.E., Ruijters, E., Stoelinga, M.: The dynamic fault tree rare event simulator. In: Gribaudo, M., Jansen, D.N., Remke, A. (eds.) QEST 2020. LNCS, vol. 12289, pp. 233\u2013238. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-59854-9_17"},{"issue":"2","key":"13_CR8","doi-asserted-by":"publisher","first-page":"313","DOI":"10.1017\/S0305004100030231","volume":"51","author":"DR Cox","year":"1955","unstructured":"Cox, D.R.: A use of complex probabilities in the theory of stochastic processes. Math. Proc. Cambridge Philos. Soc. 51(2), 313\u2013319 (1955). https:\/\/doi.org\/10.1017\/S0305004100030231","journal-title":"Math. Proc. Cambridge Philos. Soc."},{"key":"13_CR9","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"210","DOI":"10.1007\/978-3-031-57259-3_10","volume-title":"FASE 2024","author":"TKN Dang","year":"2024","unstructured":"Dang, T.K.N., Lopuha\u00e4-Zwakenberg, M., Stoelinga, M.: Fuzzy quantitative attack tree analysis. In: Beyer, D., Cavalcanti, A. (eds.) FASE 2024. LNCS, vol. 14573, pp. 210\u2013231. Springer, Cham (2024). https:\/\/doi.org\/10.1007\/978-3-031-57259-3_10"},{"key":"13_CR10","unstructured":"Dugan, J.B., Assaf, T.S.: Dynamic fault tree analysis of a reconfigurable software system. In: International System Safety Conference, pp. 480\u2013487 (2001)"},{"key":"13_CR11","doi-asserted-by":"publisher","unstructured":"Dugan, J.B., Bavuso, S.J., Boyd, M.A.: Fault trees and sequence dependencies. In: RAMS, pp. 286\u2013293 (1990). https:\/\/doi.org\/10.1109\/ARMS.1990.67971","DOI":"10.1109\/ARMS.1990.67971"},{"issue":"3","key":"13_CR12","doi-asserted-by":"publisher","first-page":"422","DOI":"10.1109\/24.537011","volume":"45","author":"Y Dutuit","year":"1996","unstructured":"Dutuit, Y., Rauzy, A.: A linear-time algorithm to find modules of fault trees. IEEE Trans. Reliab. 45(3), 422\u2013425 (1996). https:\/\/doi.org\/10.1109\/24.537011","journal-title":"IEEE Trans. Reliab."},{"issue":"2","key":"13_CR13","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1016\/S0951-8320(01)00004-7","volume":"72","author":"Y Dutuit","year":"2001","unstructured":"Dutuit, Y., Rauzy, A.: Efficient algorithms to assess component and gate importance in fault tree analysis. Reliab. Eng. Syst. Saf. 72(2), 213\u2013222 (2001). https:\/\/doi.org\/10.1016\/S0951-8320(01)00004-7","journal-title":"Reliab. Eng. Syst. Saf."},{"key":"13_CR14","doi-asserted-by":"publisher","unstructured":"Eisentraut, C., Hermanns, H., Zhang, L.: On probabilistic automata in continuous time. In: LICS, pp. 342\u2013351. IEEE Computer Society (2010). https:\/\/doi.org\/10.1109\/LICS.2010.41","DOI":"10.1109\/LICS.2010.41"},{"key":"13_CR15","unstructured":"Federal Aviation Administration: System safety handbook (2000)"},{"key":"13_CR16","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1016\/J.RESS.2019.02.005","volume":"186","author":"M Ghadhab","year":"2019","unstructured":"Ghadhab, M., Junges, S., Katoen, J.P., Kuntz, M., Volk, M.: Safety analysis for vehicle guidance systems with dynamic fault trees. Reliab. Eng. Syst. Saf. 186, 37\u201350 (2019). https:\/\/doi.org\/10.1016\/J.RESS.2019.02.005","journal-title":"Reliab. Eng. Syst. Saf."},{"key":"13_CR17","doi-asserted-by":"publisher","unstructured":"Gulati, R., Dugan, J.B.: A modular approach for analyzing static and dynamic fault trees. In: RAMS, pp. 57\u201363 (1997). https:\/\/doi.org\/10.1109\/RAMS.1997.571665","DOI":"10.1109\/RAMS.1997.571665"},{"issue":"4","key":"13_CR18","doi-asserted-by":"publisher","first-page":"589","DOI":"10.1007\/S10009-021-00633-Z","volume":"24","author":"C Hensel","year":"2022","unstructured":"Hensel, C., Junges, S., Katoen, J.P., Quatmann, T., Volk, M.: The probabilistic model checker Storm. Int. J. Softw. Tools Technol. Transf. 24(4), 589\u2013610 (2022). https:\/\/doi.org\/10.1007\/S10009-021-00633-Z","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"key":"13_CR19","unstructured":"ISO: ISO 26262: Road vehicles \u2013 Functional safety. Standard, International Organization for Standardization, Geneva, Switzerland (2011)"},{"key":"13_CR20","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1007\/978-3-031-14835-4_4","volume-title":"SAFECOMP 2022","author":"LA Jimenez-Roa","year":"2022","unstructured":"Jimenez-Roa, L.A., Volk, M., Stoelinga, M.: Data-driven inference of fault tree models exploiting symmetry and modularization. In: Trapp, M., Saglietti, F., Spisl\u00e4nder, M., Bitsch, F. (eds.) SAFECOMP 2022. LNCS, vol. 13414, pp. 46\u201361. Springer, Cham (2022). https:\/\/doi.org\/10.1007\/978-3-031-14835-4_4"},{"issue":"4","key":"13_CR21","doi-asserted-by":"publisher","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 Aspects Comput. 29(4), 651\u2013703 (2017). https:\/\/doi.org\/10.1007\/S00165-016-0412-0","journal-title":"Formal Aspects Comput."},{"key":"13_CR22","doi-asserted-by":"publisher","unstructured":"Junges, S., Guck, D., Katoen, J.P., Stoelinga, M.: Uncovering dynamic fault trees. In: DSN, pp. 299\u2013310. IEEE Computer Society (2016). https:\/\/doi.org\/10.1109\/DSN.2016.35","DOI":"10.1109\/DSN.2016.35"},{"key":"13_CR23","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. 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_CR24","doi-asserted-by":"publisher","first-page":"97175","DOI":"10.1109\/ACCESS.2020.2996643","volume":"8","author":"S Kabir","year":"2020","unstructured":"Kabir, S., Aslansefat, K., Sorokos, I., Papadopoulos, Y., Konur, S.: A hybrid modular approach for dynamic fault tree analysis. IEEE Access 8, 97175\u201397188 (2020). https:\/\/doi.org\/10.1109\/ACCESS.2020.2996643","journal-title":"IEEE Access"},{"key":"13_CR25","doi-asserted-by":"publisher","unstructured":"Katoen, J.: The probabilistic model checking landscape. In: LICS, pp. 31\u201345. ACM (2016). https:\/\/doi.org\/10.1145\/2933575.2934574","DOI":"10.1145\/2933575.2934574"},{"issue":"5","key":"13_CR26","doi-asserted-by":"publisher","first-page":"4169","DOI":"10.1109\/TDSC.2022.3215752","volume":"20","author":"M Lopuha\u00e4-Zwakenberg","year":"2023","unstructured":"Lopuha\u00e4-Zwakenberg, M., Budde, C.E., Stoelinga, M.: Efficient and generic algorithms for quantitative attack tree analysis. IEEE Trans. Dependable Secur. Comput. 20(5), 4169\u20134187 (2023). https:\/\/doi.org\/10.1109\/TDSC.2022.3215752","journal-title":"IEEE Trans. Dependable Secur. Comput."},{"key":"13_CR27","doi-asserted-by":"publisher","unstructured":"Ou, Y., Dugan, J.: Sensitivity analysis of modular dynamic fault trees. In: IPDS, pp. 35\u201343. IEEE (2000). https:\/\/doi.org\/10.1109\/IPDS.2000.839462","DOI":"10.1109\/IPDS.2000.839462"},{"issue":"2","key":"13_CR28","doi-asserted-by":"publisher","first-page":"220","DOI":"10.1109\/TR.2003.809657","volume":"52","author":"Y Ou","year":"2003","unstructured":"Ou, Y., Dugan, J.B.: Approximate sensitivity analysis for acyclic Markov reliability models. IEEE Trans. Reliab. 52(2), 220\u2013230 (2003). https:\/\/doi.org\/10.1109\/TR.2003.809657","journal-title":"IEEE Trans. Reliab."},{"issue":"3","key":"13_CR29","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1016\/0951-8320(93)90060-C","volume":"40","author":"A Rauzy","year":"1993","unstructured":"Rauzy, A.: New algorithms for fault trees analysis. Reliab. Eng. Syst. Saf. 40(3), 203\u2013211 (1993)","journal-title":"Reliab. Eng. Syst. Saf."},{"issue":"1","key":"13_CR30","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1016\/S0951-8320(02)00107-2","volume":"78","author":"KA Reay","year":"2002","unstructured":"Reay, K.A., Andrews, J.D.: A fault tree analysis strategy using binary decision diagrams. Reliab. Eng. Syst. Saf. 78(1), 45\u201356 (2002). https:\/\/doi.org\/10.1016\/S0951-8320(02)00107-2","journal-title":"Reliab. Eng. Syst. Saf."},{"key":"13_CR31","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1016\/J.COSREV.2015.03.001","volume":"15","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, 29\u201362 (2015). https:\/\/doi.org\/10.1016\/J.COSREV.2015.03.001","journal-title":"Comput. Sci. Rev."},{"key":"13_CR32","doi-asserted-by":"crossref","unstructured":"Sinnamon, R.M., Andrews, J.D.: Fault tree analysis and binary decision diagrams. In: Annual Reliability and Maintainability Symposium, pp. 215\u2013222. IEEE (1996)","DOI":"10.1109\/RAMS.1996.500665"},{"key":"13_CR33","unstructured":"Stamatelatos, M., Vesely, W., Dugan, J., Fragola, J., Minarick, J., Railsback, J.: Fault tree handbook with aerospace applications (2002)"},{"key":"13_CR34","doi-asserted-by":"publisher","unstructured":"Sullivan, K.J., Dugan, J.B., Coppit, D.: The Galileo fault tree analysis tool. In: FTCS, pp. 232\u2013235. IEEE Computer Society (1999). https:\/\/doi.org\/10.1109\/FTCS.1999.781056","DOI":"10.1109\/FTCS.1999.781056"},{"key":"13_CR35","doi-asserted-by":"crossref","unstructured":"Vesely, W., Davis, T., Denning, R., Saltos, N.: Measures of risk importance and their applications. Technical report, Battelle Columbus Labs (1983)","DOI":"10.2172\/5786790"},{"key":"13_CR36","doi-asserted-by":"publisher","unstructured":"Volk, M.: Dynamic fault trees: semantics, analysis and applications. Ph.D. thesis, RWTH Aachen University, Aachen (2022). https:\/\/doi.org\/10.18154\/RWTH-2023-04092","DOI":"10.18154\/RWTH-2023-04092"},{"issue":"1","key":"13_CR37","doi-asserted-by":"publisher","first-page":"370","DOI":"10.1109\/TII.2017.2710316","volume":"14","author":"M Volk","year":"2018","unstructured":"Volk, M., Junges, S., Katoen, J.P.: Fast dynamic fault tree analysis by model checking techniques. IEEE Trans. Ind. Inform. 14(1), 370\u2013379 (2018). https:\/\/doi.org\/10.1109\/TII.2017.2710316","journal-title":"IEEE Trans. Ind. Inform."},{"key":"13_CR38","doi-asserted-by":"publisher","unstructured":"Volk, M., Sher, F., Katoen, J.P., Stoelinga, M.: SAFEST: fault tree analysis via probabilistic model checking. In: RAMS, pp.\u00a01\u20137. IEEE (2024). https:\/\/doi.org\/10.1109\/RAMS51492.2024.10457719","DOI":"10.1109\/RAMS51492.2024.10457719"},{"issue":"3","key":"13_CR39","doi-asserted-by":"publisher","first-page":"331","DOI":"10.1007\/S10009-022-00652-4","volume":"24","author":"N Weik","year":"2022","unstructured":"Weik, N., Volk, M., Katoen, J.P., Nie\u00dfen, N.: DFT modeling approach for operational risk assessment of railway infrastructure. Int. J. Softw. Tools Technol. Transf. 24(3), 331\u2013350 (2022). https:\/\/doi.org\/10.1007\/S10009-022-00652-4","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"issue":"1","key":"13_CR40","doi-asserted-by":"publisher","first-page":"210","DOI":"10.1109\/TPWRD.2015.2489658","volume":"31","author":"K Xie","year":"2016","unstructured":"Xie, K., Hu, B., Singh, C.: Reliability evaluation of double 12-pulse ultra HVDC transmission systems. IEEE Trans. Power Deliv. 31(1), 210\u2013218 (2016). https:\/\/doi.org\/10.1109\/TPWRD.2015.2489658","journal-title":"IEEE Trans. Power Deliv."},{"key":"13_CR41","doi-asserted-by":"publisher","unstructured":"Yevkin, O.: An improved modular approach for dynamic fault tree analysis. In: RAMS, pp.\u00a01\u20135. IEEE (2011). https:\/\/doi.org\/10.1109\/RAMS.2011.5754437","DOI":"10.1109\/RAMS.2011.5754437"}],"container-title":["Lecture Notes in Computer Science","Principles of Verification: Cycling the Probabilistic Landscape"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-75778-5_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,11,17]],"date-time":"2024-11-17T13:03:09Z","timestamp":1731848589000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-75778-5_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,11,18]]},"ISBN":["9783031757778","9783031757785"],"references-count":41,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-75778-5_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2024,11,18]]},"assertion":[{"value":"18 November 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}