{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,12]],"date-time":"2026-03-12T15:53:04Z","timestamp":1773330784564,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642407925","type":"print"},{"value":"9783642407932","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-40793-2_27","type":"book-chapter","created":{"date-parts":[[2013,8,26]],"date-time":"2013-08-26T22:10:59Z","timestamp":1377555059000},"page":"293-301","source":"Crossref","is-referenced-by-count":43,"title":["DFTCalc: A Tool for Efficient Fault Tree Analysis"],"prefix":"10.1007","author":[{"given":"Florian","family":"Arnold","sequence":"first","affiliation":[]},{"given":"Axel","family":"Belinfante","sequence":"additional","affiliation":[]},{"given":"Freark","family":"Van der Berg","sequence":"additional","affiliation":[]},{"given":"Dennis","family":"Guck","sequence":"additional","affiliation":[]},{"given":"Mari\u00eblle","family":"Stoelinga","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"27_CR1","doi-asserted-by":"crossref","unstructured":"Arnold, F., Belinfante, A., Van der Berg, F., Guck, D., Stoelinga, M.: Dftcalc: a tool for efficient fault tree analysis (extended version). Technical Report TR-CTIT-13-13, CTIT, University of Twente, Enschede (June 2013)","DOI":"10.1007\/978-3-642-40793-2_27"},{"issue":"6","key":"27_CR2","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., Hermanns, H., Katoen, J.-P.: Model-checking algorithms for continuous-time Markov chains. IEEE TSE\u00a029(6), 524\u2013541 (2003), doi:10.1109\/TSE.2003.1205180","journal-title":"IEEE TSE"},{"issue":"1","key":"27_CR3","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1016\/j.tcs.2005.07.022","volume":"345","author":"C. Baier","year":"2005","unstructured":"Baier, C., Hermanns, H., Katoen, J.-P., Haverkort, B.R.: Efficient computation of time-bounded reachability probabilities in uniform continuous-time Markov decision processes. Theoretical Computer Science\u00a0345(1), 2\u201326 (2005)","journal-title":"Theoretical Computer Science"},{"key":"27_CR4","unstructured":"Baier, C., Katoen, J.-P.: Principles of Model Checking. MIT Press (2008)"},{"key":"27_CR5","unstructured":"Barlow, R.E., Proschan, F.: Statistical theory of reliability and life testing: probability models. Holt, Rinehart and Winston (1975)"},{"key":"27_CR6","doi-asserted-by":"crossref","unstructured":"Boudali, H., Crouzen, P., Stoelinga, M.: Dynamic fault tree analysis using Input\/Output interactive Markov chains. In: DSN, pp. 708\u2013717 (2007)","DOI":"10.1109\/DSN.2007.37"},{"key":"27_CR7","first-page":"128","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 TDSC\u00a07, 128\u2013143 (2010)","journal-title":"IEEE TDSC"},{"issue":"1","key":"27_CR8","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.: A continuous-time bayesian network reliability modeling and analysis framework. IEEE Transactions on Reliability\u00a055(1), 86\u201397 (2006)","journal-title":"IEEE Transactions on Reliability"},{"key":"27_CR9","doi-asserted-by":"publisher","first-page":"86","DOI":"10.1109\/TR.2005.859228","volume":"55","author":"H. Boudali","year":"2005","unstructured":"Boudali, H., Dugan, J.B.: A Bayesian network reliability modeling and analysis framework. IEEE Transactions on Reliability\u00a055, 86\u201397 (2005)","journal-title":"IEEE Transactions on Reliability"},{"key":"27_CR10","unstructured":"Boudali, H., Nijmeijer, A.P., Stoelinga, M.: DFTSim: A simulation tool for extended dynamic fault trees. In: ANSS 2009, p. 31 (2009)"},{"key":"27_CR11","doi-asserted-by":"crossref","unstructured":"Coppit, D., Sullivan, K.: Galileo: A tool built from mass-market applications. In: International Conference on Software Engineering, pp. 750\u2013753 (2000)","DOI":"10.1145\/337180.337622"},{"key":"27_CR12","doi-asserted-by":"crossref","unstructured":"Garavel, H., Lang, F., Mateescu, R., Serwe, W.: CADP 2011: A toolbox for the construction and analysis of distributed processes. International Journal on Software Tools for Technology Transfer, 1\u201319 (2012)","DOI":"10.1007\/s10009-012-0244-z"},{"key":"27_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"8","DOI":"10.1007\/978-3-642-28891-3_4","volume-title":"NASA Formal Methods","author":"D. Guck","year":"2012","unstructured":"Guck, D., Han, T., Katoen, J.-P., Neuh\u00e4u\u00dfer, M.R.: Quantitative timed analysis of interactive Markov chains. In: Goodloe, A.E., Person, S. (eds.) NFM 2012. LNCS, vol.\u00a07226, pp. 8\u201323. Springer, Heidelberg (2012)"},{"key":"27_CR14","unstructured":"Isograph. Fault Tree +, \n                    \n                      www.isograph-software.com\/2011\/software\/"},{"issue":"2","key":"27_CR15","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., Hahn, E.M., Hermanns, H., Jansen, D.: The ins and outs of the probabilistic model checker MRMC. Perf. Eval.\u00a068(2), 90\u2013104 (2011)","journal-title":"Perf. Eval."},{"key":"27_CR16","unstructured":"Manian, R., Bechta Dugan, J., Coppit, D., Sullivan, K.: Combining various solution techniques for dynamic fault tree analysis of computer systems. In: Proc. IEEE Int. High-Assurance Systems Engineering Symposium, pp. 21\u201328 (1998)"},{"key":"27_CR17","doi-asserted-by":"crossref","unstructured":"Montani, S., Portinale, L., Bobbio, A., Varesio, M., Codetta-Raiteri, D.: A tool for automatically translating dynamic fault trees into dynamic Bayesian networks. In: RAMS, pp. 434\u2013441 (2006)","DOI":"10.1109\/ARES.2006.34"},{"key":"27_CR18","unstructured":"PTC. Windchill FTA, \n                    \n                      http:\/\/www.ptc.com\/product\/relex\/fault-tree"},{"key":"27_CR19","unstructured":"Veseley, W.E., Goldberg, F.F., Roberts, N.H., Haasl, D.F.: Fault tree handbook, NUREG-0492. Technical report, NASA (1981)"}],"container-title":["Lecture Notes in Computer Science","Computer Safety, Reliability, and Security"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-40793-2_27","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,16]],"date-time":"2019-05-16T19:17:41Z","timestamp":1558034261000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-40793-2_27"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642407925","9783642407932"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-40793-2_27","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013]]}}}