{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,7]],"date-time":"2025-10-07T14:25:08Z","timestamp":1759847108927,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":16,"publisher":"ACM","license":[{"start":{"date-parts":[[2005,9,18]],"date-time":"2005-09-18T00:00:00Z","timestamp":1127001600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2005,9,18]]},"DOI":"10.1145\/1086228.1086272","type":"proceedings-article","created":{"date-parts":[[2005,11,7]],"date-time":"2005-11-07T17:34:39Z","timestamp":1131384879000},"page":"237-246","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":10,"title":["A formal approach to fault tree synthesis for the analysis of distributed fault tolerant systems"],"prefix":"10.1145","author":[{"suffix":"Jr.","given":"Mark L.","family":"McKelvin","sequence":"first","affiliation":[{"name":"University of California - Berkeley, Berkeley, CA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gabriel","family":"Eirea","sequence":"additional","affiliation":[{"name":"University of California - Berkeley, Berkeley, CA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Claudio","family":"Pinello","sequence":"additional","affiliation":[{"name":"General Motors Berkeley Lab, Berkeley, CA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sri","family":"Kanajan","sequence":"additional","affiliation":[{"name":"General Motors Berkeley Lab, Berkeley, CA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alberto L.","family":"Sangiovanni-Vincentelli","sequence":"additional","affiliation":[{"name":"University of California - Berkeley, Berkeley, CA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2005,9,18]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/951710.951734"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/152610.152612"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2002.805826"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/12.544479"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/EMPDP.2001.905069"},{"key":"e_1_3_2_1_6_1","unstructured":"I. Item Software. FaultTree+ for Windows volume 8.0. Isograph Limited 1998.  I. Item Software. FaultTree+ for Windows volume 8.0. Isograph Limited 1998."},{"issue":"9","key":"e_1_3_2_1_7_1","first-page":"18","article-title":"Use of fault tree analysis for automotive reliability and safety analysis","volume":"33","author":"Lambert H.","year":"2000","unstructured":"H. Lambert . Use of fault tree analysis for automotive reliability and safety analysis . Computer 33 ( 9 ): 18 -- 26 , 2000 . H. Lambert. Use of fault tree analysis for automotive reliability and safety analysis. Computer 33(9):18--26, 2000.","journal-title":"Computer"},{"key":"e_1_3_2_1_8_1","volume-title":"September","author":"Lee E.A.","year":"1987","unstructured":"E.A. Lee and D.G. Messerschmitt . Synchronous data flow. Procs. of the IEEE 79(9) , September 1987 . E.A. Lee and D.G. Messerschmitt. Synchronous data flow. Procs. of the IEEE 79(9), September 1987."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/MEMCOD.2004.1459848"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/5.381846"},{"issue":"9","key":"e_1_3_2_1_12_1","first-page":"1305","article-title":"A method and tool support for model-based semi-automated failure modes and effects analysis of engineering designs","volume":"79","author":"Papadopoulos Y.","year":"1991","unstructured":"Y. Papadopoulos and D. Parker . A method and tool support for model-based semi-automated failure modes and effects analysis of engineering designs . Procs. of the IEEE 79 ( 9 ): 1305 -- 1320 , September 1991 . Y. Papadopoulos and D. Parker. A method and tool support for model-based semi-automated failure modes and effects analysis of engineering designs. Procs. of the IEEE 79(9):1305--1320, September 1991.","journal-title":"Procs. of the IEEE"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.5555\/968879.969135"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/24.814522"},{"key":"e_1_3_2_1_16_1","volume-title":"Reliability of Computer and Control Systems","author":"Viswanadham N.","year":"1987","unstructured":"N. Viswanadham , V.V.S. Sarma , and M.G. Singh . Reliability of Computer and Control Systems volume 8 . North Holland , Amsterdam , 1987 . N. Viswanadham, V.V.S. Sarma, and M.G. Singh. Reliability of Computer and Control Systems volume 8. North Holland, Amsterdam, 1987."},{"key":"e_1_3_2_1_17_1","volume-title":"Reliability and Maintainability Symposium Los Angeles","author":"Wang W.","year":"2004","unstructured":"W. Wang , J. Loman , and P. Vassiliou . Reliability importance of components in complex system . In Reliability and Maintainability Symposium Los Angeles , California, USA , January 2004 . W. Wang, J. Loman, and P. Vassiliou. Reliability importance of components in complex system. In Reliability and Maintainability Symposium Los Angeles, California, USA, January 2004."},{"key":"e_1_3_2_1_18_1","volume-title":"International Systems Safety Conference Providence","author":"Debouk J.A.","year":"2004","unstructured":"J.A. Wysockiand R. Debouk . Redundancy and reliability tradeoffs for safety\/mission critical systems . In International Systems Safety Conference Providence , Rhode Island, USA , August 2004 . J.A. Wysockiand R. Debouk. Redundancy and reliability tradeoffs for safety\/mission critical systems. In International Systems Safety Conference Providence, Rhode Island, USA, August 2004."}],"event":{"name":"EMSOFT05: Fifth ACM International Conference on Embedded Software 2005","sponsor":["ACM Association for Computing Machinery","SIGBED ACM Special Interest Group on Embedded Systems"],"location":"Jersey City NJ USA","acronym":"EMSOFT05"},"container-title":["Proceedings of the 5th ACM international conference on Embedded software"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1086228.1086272","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1086228.1086272","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T16:08:19Z","timestamp":1750262899000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1086228.1086272"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,9,18]]},"references-count":16,"alternative-id":["10.1145\/1086228.1086272","10.1145\/1086228"],"URL":"https:\/\/doi.org\/10.1145\/1086228.1086272","relation":{},"subject":[],"published":{"date-parts":[[2005,9,18]]},"assertion":[{"value":"2005-09-18","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}