{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,1]],"date-time":"2025-06-01T04:11:59Z","timestamp":1748751119026,"version":"3.41.0"},"publisher-location":"Cham","reference-count":14,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319254227"},{"type":"electronic","value":"9783319254234"}],"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-25423-4_19","type":"book-chapter","created":{"date-parts":[[2015,11,30]],"date-time":"2015-11-30T17:10:46Z","timestamp":1448903446000},"page":"304-311","source":"Crossref","is-referenced-by-count":19,"title":["DFTCalc: Reliability Centered Maintenance via Fault Tree Analysis (Tool Paper)"],"prefix":"10.1007","author":[{"given":"Dennis","family":"Guck","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jip","family":"Spel","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":[[2015,12,1]]},"reference":[{"key":"19_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)"},{"key":"19_CR2","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 Secure Comput. 7, 128\u2013143 (2010)","journal-title":"IEEE Trans. Dependable Secure Comput."},{"key":"19_CR3","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 Trans. Reliab. 55, 86\u201397 (2005)","journal-title":"IEEE Trans. Reliab."},{"key":"19_CR4","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. Comput. J. 54, 754\u2013775 (2011)","journal-title":"Comput. J."},{"key":"19_CR5","doi-asserted-by":"crossref","unstructured":"Buchacker, K.: Modeling with extended fault trees. In: Proceeding of the 5th International Symposium on High Assurance Systems Engineering (HASE), pp. 238\u2013246, November 2000","DOI":"10.1109\/HASE.2000.895468"},{"key":"19_CR6","first-page":"1","volume":"13","author":"H Garavel","year":"2012","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 13, 1\u201319 (2012)","journal-title":"Int. J. Softw. Tools Technol. Transfer"},{"key":"19_CR7","unstructured":"Guck, D., Katoen, J.P., Stoelinga, M.I.A., Luiten, T., Romijn, J.: Smart railroad maintenance engineering with stochastic model checking. In: Railway Technology: Research, Development and Maintenance. Civil-Comp, vol. 104, p. 299 (2014)"},{"key":"19_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"168","DOI":"10.1007\/978-3-319-11936-6_13","volume-title":"Automated Technology for Verification and Analysis","author":"D Guck","year":"2014","unstructured":"Guck, D., Timmer, M., Hatefi, H., Ruijters, E., Stoelinga, M.: Modelling and analysis of Markov reward automata. In: Cassez, F., Raskin, J.-F. (eds.) ATVA 2014. LNCS, vol. 8837, pp. 168\u2013184. Springer, Heidelberg (2014)"},{"key":"19_CR9","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, Heidelberg (2002)"},{"issue":"2","key":"19_CR10","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. Eval. 68(2), 90\u2013104 (2011)","journal-title":"Perf. Eval."},{"key":"19_CR11","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":"19_CR12","doi-asserted-by":"crossref","unstructured":"Ruijters, E.J.J., Stoelinga, M.I.A.: Fault tree analysis: a survey of the state-of-the-art in modeling, analysis and tools. Elsevier Computing Surveys (2015)","DOI":"10.1016\/j.cosrev.2015.03.001"},{"key":"19_CR13","doi-asserted-by":"crossref","unstructured":"Sullivan, K.J., Dugan, J.B., Coppit, D.: The Galileo fault tree analysis tool. In: 29th Annual International Symposium on Fault-Tolerant Computing, pp. 232\u2013235. IEEE (1999)","DOI":"10.1109\/FTCS.1999.781056"},{"key":"19_CR14","volume-title":"Fault Tree Handbook","author":"WE Vesely","year":"1981","unstructured":"Vesely, W.E., Goldberg, F.F., Roberts, N.H., Haasl, D.F.: Fault Tree Handbook. U.S. Nuclear Regulatory Commision, Office of Nuclear Regulatory Reasearch (1981)"}],"container-title":["Lecture Notes in Computer Science","Formal Methods and Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-25423-4_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,31]],"date-time":"2025-05-31T16:15:35Z","timestamp":1748708135000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-25423-4_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319254227","9783319254234"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-25423-4_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]}}}