{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,21]],"date-time":"2025-10-21T14:58:52Z","timestamp":1761058732177},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540672609"},{"type":"electronic","value":"9783540464297"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-46429-8_24","type":"book-chapter","created":{"date-parts":[[2007,10,20]],"date-time":"2007-10-20T14:52:33Z","timestamp":1192891953000},"page":"328-331","source":"Crossref","is-referenced-by-count":11,"title":["Galileo: A Tool for Dynamic Fault Tree Analysis"],"prefix":"10.1007","author":[{"given":"Joanne Bechta","family":"Dugan","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,12,20]]},"reference":[{"key":"24_CR1","doi-asserted-by":"crossref","unstructured":"S. V. Amari, J. B. Dugan, and R. B. Misra. A separable method for incorporating imperfect fault-coverage into combinatorial models. IEEE Transactions on Reliability, pages 267\u2013274, September 1999.","DOI":"10.1109\/24.799898"},{"key":"24_CR2","doi-asserted-by":"crossref","unstructured":"M. Bouissou. An ordering heuristic for building binary decision diagrams from fault-trees. In Proceedings of the Reliability and Maintainability Symposium, pages 208\u2013214, January, 1996.","DOI":"10.1109\/RAMS.1996.500664"},{"issue":"1","key":"24_CR3","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1109\/24.285125","volume":"43","author":"O. Coudert","year":"1994","unstructured":"O. Coudert and J. C. Madre. Metaprime, an interactive fault-tree analyser. IEEE Transactions on Reliability, 43(1):121\u2013127, March 1994.","journal-title":"IEEE Transactions on Reliability"},{"key":"24_CR4","doi-asserted-by":"crossref","unstructured":"S. A. Doyle and J. B. Dugan. Dependability assessment using binary decision diagrams. In Proc. IEEE Int. Symp. on Fault-Tolerant Computing, FTCS-25, June 1995.","DOI":"10.1109\/FTCS.1995.466973"},{"key":"24_CR5","doi-asserted-by":"crossref","unstructured":"J. B. Dugan, S. Bavuso, and M. Boyd. Dynamic fault tree models for fault tolerant computer systems. IEEE Transactions on Reliability, September 1992.","DOI":"10.1109\/24.159800"},{"issue":"3","key":"24_CR6","doi-asserted-by":"publisher","first-page":"319","DOI":"10.2514\/3.20109","volume":"9","author":"J. B. Dugan","year":"1986","unstructured":"J. B. Dugan, K. S. Trivedi, M. K. Smotherman, and R. M. Geist. The hybrid automated reliability predictor. AIAA Journal of Guidance, Control and Dynamics, 9(3):319\u2013331, May-June 1986.","journal-title":"AIAA Journal of Guidance, Control and Dynamics"},{"key":"24_CR7","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1016\/0951-8320(93)90060-C","volume":"40","author":"A. Rauzy","year":"1993","unstructured":"A. Rauzy. New algorithms for fault tree analysis. Reliability Engineering and System Safety, 40:203\u2013211, 1993.","journal-title":"Reliability Engineering and System Safety"},{"key":"24_CR8","doi-asserted-by":"crossref","unstructured":"R. Sinnamon and J. D. Andrews. Fault tree analysis and binary decision diagrams. In Proceedings of the Reliability and Maintainability Symposium, pages 215\u2013222, January, 1996","DOI":"10.1109\/RAMS.1996.500665"}],"container-title":["Lecture Notes in Computer Science","Computer Performance Evaluation.Modelling Techniques and Tools"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-46429-8_24","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,24]],"date-time":"2019-02-24T09:25:10Z","timestamp":1551000310000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-46429-8_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540672609","9783540464297"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/3-540-46429-8_24","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2000]]}}}