{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,2]],"date-time":"2026-01-02T07:27:35Z","timestamp":1767338855722},"publisher-location":"Cham","reference-count":18,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319454764"},{"type":"electronic","value":"9783319454771"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"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":[[2016]]},"DOI":"10.1007\/978-3-319-45477-1_21","type":"book-chapter","created":{"date-parts":[[2016,9,3]],"date-time":"2016-09-03T01:34:41Z","timestamp":1472866481000},"page":"266-280","source":"Crossref","is-referenced-by-count":6,"title":["Effective Static and Dynamic Fault Tree Analysis"],"prefix":"10.1007","author":[{"given":"Ola","family":"B\u00e4ckstr\u00f6m","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yuliya","family":"Butkova","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Holger","family":"Hermanns","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jan","family":"Kr\u010d\u00e1l","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pavel","family":"Kr\u010d\u00e1l","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,9,4]]},"reference":[{"issue":"6","key":"21_CR1","doi-asserted-by":"crossref","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.: Model-checking algorithms for continuous-time Markov chains. IEEE Trans. Softw. Eng. 29(6), 524\u2013541 (2003)","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"3","key":"21_CR2","doi-asserted-by":"crossref","first-page":"363","DOI":"10.1109\/24.159800","volume":"41","author":"BJ Dugan","year":"1992","unstructured":"Dugan, B.J., Bavuso, S.J., Boyd, M.: Dynamic fault-tree models for fault-tolerant computer systems. IEEE Trans. Reliab. 41(3), 363\u2013377 (1992)","journal-title":"IEEE Trans. Reliab."},{"issue":"2","key":"21_CR3","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.: A rigorous, compositional, and extensible framework for dynamic fault tree analysis. IEEE Trans. Depandable Sec. Compt. 7(2), 128\u2013143 (2010)","journal-title":"IEEE Trans. Depandable Sec. Compt."},{"issue":"2","key":"21_CR4","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1016\/S0951-8320(03)00143-1","volume":"82","author":"M Bouissou","year":"2003","unstructured":"Bouissou, M., Bon, J.L.: A new formalism that combines advantages of fault-trees and Markov models: Boolean logic driven Markov processes. Reliab. Eng. Syst. Saf. 82(2), 149\u2013163 (2003)","journal-title":"Reliab. Eng. Syst. Saf."},{"key":"21_CR5","unstructured":"Br\u00e1zdil, T., Hermanns, H., Kr\u010d\u00e1l, J., K\u0159et\u00ednsk\u00fd, J., \u0158eh\u00e1k, V.: Verification of open interactive Markov chains. In: FSTTCS. LIPIcs, vol. 18, pp. 474\u2013485 (2012)"},{"key":"21_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"166","DOI":"10.1007\/978-3-319-24953-7_12","volume-title":"Automated Technology for Verification and Analysis","author":"Y Butkova","year":"2015","unstructured":"Butkova, Y., Hatefi, H., Hermanns, H., Krc\u00e1l, J.: Optimal continuous time Markov decisions. In: Finkbeiner, B., et al. (eds.) ATVA 2015. LNCS, vol. 9364, pp. 166\u2013182. Springer, Heidelberg (2015). doi: 10.1007\/978-3-319-24953-7_12"},{"key":"21_CR7","unstructured":"Center for Chemical Process Safety: Guidelines for Hazard Evaluation Procedures, 3rd edn. Wiley, Hoboken (2008)"},{"key":"21_CR8","first-page":"262","volume":"15","author":"JB Fussell","year":"1972","unstructured":"Fussell, J.B., Vesely, W.E.: A new methodology for obtaining cut sets for fault trees. Trans. Am. Nucl. Soc. 15, 262\u2013263 (1972)","journal-title":"Trans. Am. Nucl. Soc."},{"key":"21_CR9","unstructured":"IAEA: Development and Application of Level 1 Probabilistic Safety Assessment for Nuclear Power Plants, IAEA Safety Standards Series No. SSG-3 (2010)"},{"key":"21_CR10","unstructured":"IAEA: Development and Application of Level 2 Probabilistic Safety Assessment for Nuclear Power Plants, IAEA Safety Standards Series No. SSG-4 (2010)"},{"key":"21_CR11","doi-asserted-by":"crossref","unstructured":"Kr\u010d\u00e1l, J., Kr\u010d\u00e1l, P.: Scalable analysis of fault trees with dynamic features. In: DSN 2015, pp. 89\u2013100 (2015)","DOI":"10.1109\/DSN.2015.29"},{"key":"21_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","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)"},{"key":"21_CR13","unstructured":"Lloyd\u2019s Register Consulting: RiskSpectrum, Theory Manual (2013)"},{"key":"21_CR14","unstructured":"NASA: Fault Tree Handbook with Aerospace Applications (2002)"},{"key":"21_CR15","doi-asserted-by":"crossref","first-page":"29","DOI":"10.1016\/j.cosrev.2015.03.001","volume":"15","author":"EJJ Ruijters","year":"2015","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. Comput. Sci. Rev. 15, 29\u201362 (2015)","journal-title":"Comput. Sci. Rev."},{"key":"21_CR16","doi-asserted-by":"crossref","unstructured":"Vesely, W., Davis, T., Denning, R., Saltos, N.: Measures of risk importance and their application (NUREG\/CR-3385). US Nuclear Regulatory Commission (1983)","DOI":"10.2172\/5786790"},{"key":"21_CR17","unstructured":"Vesely, W., Goldberg, F., Roberts, N., Haasl, D.: Fault Tree Handbook(NUREG\/CR-0492). US Nuclear Regulatory Commission (1981)"},{"key":"21_CR18","doi-asserted-by":"crossref","unstructured":"Wood, S., Smith, C.L., Kvarfordt, K.J., Beck, S.: Systems Analysis Programs for Hands-on Integrated Reliability Evaluations (SAPHIRE): Summary Manual (NUREG\/CR-6952, vol. 1). US Nuclear Regulatory Commission (2008)","DOI":"10.2172\/941725"}],"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-319-45477-1_21","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,13]],"date-time":"2019-09-13T01:39:03Z","timestamp":1568338743000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-45477-1_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319454764","9783319454771"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-45477-1_21","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}