{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,28]],"date-time":"2026-04-28T17:14:51Z","timestamp":1777396491595,"version":"3.51.4"},"reference-count":32,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"1","license":[{"start":{"date-parts":[[2014,3,1]],"date-time":"2014-03-01T00:00:00Z","timestamp":1393632000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Rel."],"published-print":{"date-parts":[[2014,3]]},"DOI":"10.1109\/tr.2014.2299497","type":"journal-article","created":{"date-parts":[[2014,1,31]],"date-time":"2014-01-31T17:44:00Z","timestamp":1391190240000},"page":"320-330","source":"Crossref","is-referenced-by-count":117,"title":["A Multiple-Valued Decision Diagram Based Method for Efficient Reliability Analysis of Non-Repairable Phased-Mission Systems"],"prefix":"10.1109","volume":"63","author":[{"given":"Yuchang","family":"Mo","sequence":"first","affiliation":[]},{"given":"Liudong","family":"Xing","sequence":"additional","affiliation":[]},{"given":"Suprasad V.","family":"Amari","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2011.2170415"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/TR.2009.2034946"},{"key":"ref30","author":"mo","year":"2008","journal-title":"Dependability Modeling and Analysis of Multiple-phased Computing Systems"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1016\/j.ress.2007.05.001"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2010.2089513"},{"key":"ref12","first-page":"393","article-title":"An overview of the phase-modular fault tree approach to phased-mission system analysis","author":"meshkat","year":"2003","journal-title":"Proc Int Conf Space Mission Challenges Inf Technol"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-84800-131-2_23"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/24.765927"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/TR.2002.1011526"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/TR.2009.2026804"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/TR.2008.2011673"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1986.1676819"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/ISMVL.1998.679287"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/TR.1969.5216341"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1002\/qre.1382"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/TR.1981.5221156"},{"key":"ref27","first-page":"1401","article-title":"Depth-first event ordering in BDD-based fault tree analysis","volume":"31","author":"mo","year":"2012","journal-title":"Inf Comput"},{"key":"ref6","first-page":"292","article-title":"The efficient simulation of phased fault trees","author":"altschul","year":"1987","journal-title":"Proc Annu Rel Maintainability Symp"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/RAMS.2009.4914713"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/TR.1973.5216037"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/TR.2004.837709"},{"key":"ref7","first-page":"213","author":"esary","year":"1975","journal-title":"Reliability and Fault Tree Analysis Theoretical and Applied Aspects of System Reliability and Safety Assessment"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/TR.2006.890900"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/24.249576"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2001.970572"},{"key":"ref20","doi-asserted-by":"crossref","first-page":"240","DOI":"10.1109\/RAMS.1993.296849","article-title":"Fault tree analysis: 1020 prime implicants and beyond","author":"coudert","year":"1993","journal-title":"Proc Annu Rel Maintainability Symp"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1016\/0951-8320(93)90060-C"},{"key":"ref21","article-title":"New results in fault-tree analysis","author":"dugan","year":"1996","journal-title":"Proc Tutorial Notes Annu Rel Maintainability Symp"},{"key":"ref24","article-title":"Dependability analysis using multiple-valued decision diagrams","author":"xing","year":"2002","journal-title":"Proc 6th Int Conf Probabilistic Safety Assessment Manag"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/TR.2006.874941"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/TR.2002.802892"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/TDSC.2007.70244"}],"container-title":["IEEE Transactions on Reliability"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/24\/6750070\/06714462.pdf?arnumber=6714462","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,12]],"date-time":"2022-01-12T16:29:25Z","timestamp":1642004965000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6714462\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,3]]},"references-count":32,"journal-issue":{"issue":"1"},"URL":"https:\/\/doi.org\/10.1109\/tr.2014.2299497","relation":{},"ISSN":["0018-9529","1558-1721"],"issn-type":[{"value":"0018-9529","type":"print"},{"value":"1558-1721","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,3]]}}}