{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,31]],"date-time":"2025-05-31T04:12:34Z","timestamp":1748664754999,"version":"3.41.0"},"publisher-location":"Cham","reference-count":39,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319259413"},{"type":"electronic","value":"9783319259420"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"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":[[2015]]},"DOI":"10.1007\/978-3-319-25942-0_1","type":"book-chapter","created":{"date-parts":[[2015,10,16]],"date-time":"2015-10-16T09:32:14Z","timestamp":1444987934000},"page":"3-18","source":"Crossref","is-referenced-by-count":8,"title":["Fault Trees on a Diet"],"prefix":"10.1007","author":[{"given":"Sebastian","family":"Junges","sequence":"first","affiliation":[]},{"given":"Dennis","family":"Guck","sequence":"additional","affiliation":[]},{"given":"Joost-Pieter","family":"Katoen","sequence":"additional","affiliation":[]},{"given":"Arend","family":"Rensink","sequence":"additional","affiliation":[]},{"given":"Mari\u00eblle","family":"Stoelinga","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,10,17]]},"reference":[{"key":"1_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. LNCS, vol. 8153, pp. 293\u2013301. Springer, Heidelberg (2013)"},{"issue":"3","key":"1_CR2","doi-asserted-by":"publisher","first-page":"270","DOI":"10.1109\/TSE.2003.1183940","volume":"29","author":"A Bobbio","year":"2003","unstructured":"Bobbio, A., Franceschinis, G., Gaeta, R., Portinale, L.: Parametric fault tree for the dependability analysis of redundant systems and its high-level Petri net semantics. IEEE Trans. on Softw. Eng. 29(3), 270\u2013287 (2003)","journal-title":"IEEE Trans. on Softw. Eng."},{"issue":"3","key":"1_CR3","doi-asserted-by":"publisher","first-page":"249","DOI":"10.1016\/S0951-8320(00)00077-6","volume":"71","author":"A Bobbio","year":"2001","unstructured":"Bobbio, A., Portinale, L., Minichino, M., Ciancamerla, E.: Improving the analysis of dependable systems by mapping fault trees into Bayesian networks. Rel. Eng. & Sys. Safety 71(3), 249\u2013260 (2001)","journal-title":"Rel. Eng. & Sys. Safety"},{"issue":"2","key":"1_CR4","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.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."},{"issue":"3","key":"1_CR5","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1016\/j.ress.2004.06.004","volume":"87","author":"H Boudali","year":"2005","unstructured":"Boudali, H., Dugan, J.B.: A discrete-time Bayesian network reliability modeling and analysis framework. Rel. Eng. & Sys. Safety 87(3), 337\u2013349 (2005)","journal-title":"Rel. Eng. & Sys. Safety"},{"issue":"1","key":"1_CR6","doi-asserted-by":"publisher","first-page":"86","DOI":"10.1109\/TR.2005.859228","volume":"55","author":"H Boudali","year":"2006","unstructured":"Boudali, H., Dugan, J.B.: A continuous-time Bayesian network reliability modeling and analysis framework. IEEE Trans. on Reliability 55(1), 86\u201397 (2006)","journal-title":"IEEE Trans. on Reliability"},{"key":"1_CR7","doi-asserted-by":"publisher","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. The Computer Journal 54, 754\u2013775 (2011)","journal-title":"The Computer Journal"},{"key":"1_CR8","doi-asserted-by":"crossref","unstructured":"Buchacker, K.: Modeling with extended fault trees. In: Proceedings of HASE, pp. 238\u2013246 (2000)","DOI":"10.1109\/HASE.2000.895468"},{"issue":"11","key":"1_CR9","doi-asserted-by":"publisher","first-page":"1515","DOI":"10.1016\/j.ress.2011.06.014","volume":"96","author":"F Chiacchio","year":"2011","unstructured":"Chiacchio, F., Compagno, L., D\u2019Urso, D., Manno, G., Trapani, N.: Dynamic fault trees resolution: A conscious trade-off between analytical and simulative approaches. Rel. Eng. & Sys. Safety 96(11), 1515\u20131526 (2011)","journal-title":"Rel. Eng. & Sys. Safety"},{"key":"1_CR10","doi-asserted-by":"crossref","unstructured":"Coppit, D., Sullivan, K.J., Dugan, J.B.: Formal semantics of models for computational engineering: a case study on dynamic fault trees. In: Proceedings of ISSRE, pp. 270\u2013282 (2000)","DOI":"10.1109\/ISSRE.2000.885878"},{"key":"1_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1007\/978-3-540-85361-9_25","volume-title":"CONCUR 2008 - Concurrency Theory","author":"P Crouzen","year":"2008","unstructured":"Crouzen, P., Hermanns, H., Zhang, L.: On the minimisation of acyclic models. In: van Breugel, F., Chechik, M. (eds.) CONCUR 2008. LNCS, vol. 5201, pp. 295\u2013309. Springer, Heidelberg (2008)"},{"key":"1_CR12","doi-asserted-by":"crossref","unstructured":"Dershowitz, N., Jouannaud, J.-P.: Rewrite systems. In: Handbook of Theoretical Computer Science, pp. 243\u2013320. MIT Press (1991)","DOI":"10.1016\/B978-0-444-88074-1.50011-1"},{"key":"1_CR13","doi-asserted-by":"crossref","unstructured":"Dugan, J.B., Bavuso, S.J., Boyd, M.A.: Dynamic fault-tree models for fault-tolerant computer systems. IEEE Trans. Rel., pp. 363\u2013377 (1992)","DOI":"10.1109\/24.159800"},{"key":"1_CR14","doi-asserted-by":"crossref","unstructured":"Dugan, J.B., Venkataraman, B., Gulati, R.: DIFtree: a software package for the analysis of dynamic fault tree models. In: Proceedings of RAMS, pp. 64\u201370. IEEE (1997)","DOI":"10.1109\/RAMS.1997.571666"},{"key":"1_CR15","unstructured":"Ehrig, H., Ehrig, K., Prange, U., Taentzer, G.: Fundamentals of Algebraic Graph Transformation, Monographs in Th. Comp. Science. Springer (2006)"},{"issue":"2","key":"1_CR16","doi-asserted-by":"publisher","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. STTT 15(2), 89\u2013107 (2013)","journal-title":"STTT"},{"issue":"1","key":"1_CR17","doi-asserted-by":"publisher","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":"1_CR18","unstructured":"Guck, D., Katoen, J.-P., Stoelinga, M.I.A., Luiten, T., Romijn, J.M.T.: Smart railroad maintenance engineering with stochastic model checking. In: Proceedings of RAILWAYS. Saxe-Coburg Publications (2014)"},{"key":"1_CR19","doi-asserted-by":"crossref","unstructured":"Han, W., Guo, W., Hou, Z.: Research on the method of dynamic fault tree analysis. In: Proceedings of ICRMS, pp. 950\u2013953 (2011)","DOI":"10.1109\/ICRMS.2011.5979422"},{"key":"1_CR20","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45804-2","volume-title":"Interactive Markov Chains: the Quest for Quantified Quality","author":"H Hermanns","year":"2002","unstructured":"Hermanns, H.: Interactive Markov Chains: the Quest for Quantified Quality. Springer-Verlag, Berlin (2002)"},{"key":"1_CR21","unstructured":"Fault tree analysis (FTA). Norm IEC 60050:2006 (2007)"},{"key":"1_CR22","unstructured":"Junges, S.: Simplifying dynamic fault trees by graph rewriting. Master thesis, RWTH Aachen University (2015)"},{"key":"1_CR23","doi-asserted-by":"crossref","unstructured":"Kaiser, B.: Extending the expressive power of fault trees. In: Proceedings of RAMS, pp. 468\u2013474. IEEE, January 2005","DOI":"10.1109\/RAMS.2005.1408407"},{"issue":"2","key":"1_CR24","doi-asserted-by":"publisher","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. Perf. Ev. 68(2), 90\u2013104 (2011)","journal-title":"Perf. Ev."},{"key":"1_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"220","DOI":"10.1007\/978-3-540-72522-0_6","volume-title":"Formal Methods for Performance Evaluation","author":"M Kwiatkowska","year":"2007","unstructured":"Kwiatkowska, M., Norman, G., Parker, D.: Stochastic model checking. In: Bernardo, M., Hillston, J. (eds.) SFM 2007. LNCS, vol. 4486, pp. 220\u2013270. Springer, Heidelberg (2007)"},{"key":"1_CR26","first-page":"140","volume":"3","author":"D Liu","year":"2010","unstructured":"Liu, D., Xiong, L., Li, Z., Wang, P., Zhang, H.: The simplification of cut sequence set analysis for dynamic systems. Proc. of ICCAE 3, 140\u2013144 (2010)","journal-title":"Proc. of ICCAE"},{"issue":"3","key":"1_CR27","doi-asserted-by":"publisher","first-page":"428","DOI":"10.1109\/24.406578","volume":"44","author":"M Malhotra","year":"1995","unstructured":"Malhotra, M., Trivedi, K.S.: Dependability modeling using Petri-nets. IEEE Trans. Rel. 44(3), 428\u2013440 (1995)","journal-title":"IEEE Trans. Rel."},{"key":"1_CR28","unstructured":"Merle, G., Roussel, J.-M.: Algebraic modelling of fault trees with priority AND gates. In: Proceedings of DCDS, pp. 175\u2013180 (2007)"},{"issue":"1","key":"1_CR29","doi-asserted-by":"publisher","first-page":"250","DOI":"10.1109\/TR.2009.2035793","volume":"59","author":"G Merle","year":"2010","unstructured":"Merle, G., Roussel, J.-M., Lesage, J.-J., Bobbio, A.: Probabilistic algebraic analysis of fault trees with priority dynamic gates and repeated events. IEEE Trans. Rel. 59(1), 250\u2013261 (2010)","journal-title":"IEEE Trans. Rel."},{"key":"1_CR30","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, p. 6 (2006)","DOI":"10.1109\/ARES.2006.34"},{"key":"1_CR31","doi-asserted-by":"crossref","unstructured":"Pullum, L.L., Dugan, J.B.: Fault tree models for the analysis of complex computer-based systems. In: Proceedings of RAMS, pp. 200\u2013207. IEEE (1996)","DOI":"10.1109\/RAMS.1996.500663"},{"issue":"2","key":"1_CR32","first-page":"45","volume":"127","author":"DC Raiteri","year":"2005","unstructured":"Raiteri, D.C.: The conversion of dynamic fault trees to stochastic Petri nets, as a case of graph transformation. ENTCS 127(2), 45\u201360 (2005)","journal-title":"ENTCS"},{"key":"1_CR33","series-title":"Lecture Notes in Computer Science","volume-title":"Stochastic Model Checking","year":"2014","unstructured":"Remke, A., Stoelinga, M. (eds.): Stochastic Model Checking. LNCS, vol. 8453. Springer, Heidelberg (2014)"},{"key":"1_CR34","unstructured":"Rensink, A., Kuperus, J.-H.: Repotting the geraniums: on nested graph transformation rules, ECEASST, vol. 18 (2009)"},{"key":"1_CR35","doi-asserted-by":"crossref","unstructured":"Rongxing, D., Guochun, W., Decun, D.: A new assessment method for system reliability based on dynamic fault tree. In: Proceedings of ICICTA, pp. 219\u2013222. IEEE (2010)","DOI":"10.1109\/ICICTA.2010.237"},{"key":"1_CR36","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.I.A.: Fault tree analysis: A survey of the state-of-the-art in modeling, analysis and tools. Computer Science Review 15\u201316, 29\u201362 (2015)","journal-title":"Computer Science Review"},{"key":"1_CR37","unstructured":"Schneier, B.: Attack trees: Modeling security threats. Dr. Dobb\u2019s J., 24(12) (1999)"},{"key":"1_CR38","unstructured":"Stamatelatos, M., Vesely, W., Dugan, J.B., Fragola, J., Minarick, J., Railsback, J.: Fault Tree Handbook with Aerospace Applications. NASA Headquarters (2002)"},{"key":"1_CR39","doi-asserted-by":"crossref","unstructured":"Yevkin, O.: An improved modular approach for dynamic fault tree analysis. In: Proceedings of RAMS, pp. 1\u20135 (2011)","DOI":"10.1109\/RAMS.2011.5754437"}],"container-title":["Lecture Notes in Computer Science","Dependable Software Engineering: Theories, Tools, and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-25942-0_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,31]],"date-time":"2025-05-31T01:49:59Z","timestamp":1748656199000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-25942-0_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319259413","9783319259420"],"references-count":39,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-25942-0_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]}}}