{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,14]],"date-time":"2026-04-14T15:44:49Z","timestamp":1776181489282,"version":"3.50.1"},"reference-count":34,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"6","license":[{"start":{"date-parts":[[2014,6,1]],"date-time":"2014-06-01T00:00:00Z","timestamp":1401580800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"funder":[{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["61272130"],"award-info":[{"award-number":["61272130"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000001","name":"National Science Foundation of the U.S.","doi-asserted-by":"crossref","award":["0832594"],"award-info":[{"award-number":["0832594"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Syst. Man Cybern, Syst."],"published-print":{"date-parts":[[2014,6]]},"DOI":"10.1109\/tsmc.2013.2277692","type":"journal-article","created":{"date-parts":[[2013,8,28]],"date-time":"2013-08-28T20:17:20Z","timestamp":1377721040000},"page":"757-769","source":"Crossref","is-referenced-by-count":82,"title":["MDD-Based Method for Efficient Analysis on Phased-Mission Systems With Multimode Failures"],"prefix":"10.1109","volume":"44","author":[{"given":"Yuchang","family":"Mo","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Liudong","family":"Xing","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Joanne Bechta","family":"Dugan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref33","first-page":"1401","article-title":"Depth-first event ordering in BDD-based fault tree analysis","volume":"31","author":"mo","year":"2012","journal-title":"Inform Comput"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1002\/qre.1382"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/TR.2009.2034946"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/24.765927"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1016\/0951-8320(93)90060-C"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/TR.2004.837709"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/24.75332"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2001.970572"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/24.46486"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1016\/j.ress.2007.05.001"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2010.2089513"},{"key":"ref16","first-page":"393","article-title":"An overview of the phase-modular fault tree approach to phased-mission system analysis","author":"meshkat","year":"0","journal-title":"Proc Int Conf Space Mission Challenges for Information Technology"},{"key":"ref17","author":"xing","year":"2002","journal-title":"Dependability Modeling and Analysis of Hierarchical Computer-Based Systems"},{"key":"ref18","first-page":"112","article-title":"Generalized imperfect coverage phased-mission analysis","author":"xing","year":"0","journal-title":"Proc RAMS"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/TR.2004.829137"},{"key":"ref28","first-page":"1","article-title":"Next generation ion engines: Mission performances","author":"noca","year":"0","journal-title":"Proc 28th Int Electric Propul Conf"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/TR.2006.890900"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/TDSC.2007.70244"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/24.249576"},{"key":"ref6","first-page":"292","article-title":"The efficient simulation of phased fault trees","author":"altschul","year":"0","journal-title":"Proc Annu Reliability Maintainability Symp"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/12.24286"},{"key":"ref5","first-page":"349","author":"xing","year":"2008","journal-title":"Reliability of Phased-Mission Systems (Handbook of Performability Engineering)"},{"key":"ref8","first-page":"213","article-title":"Reliability analysis of phased missions","author":"esary","year":"1975","journal-title":"Reliability and Fault Tree Analysis Theoretical and Applied Aspects of System Reliability and Safety Assessment"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/TR.1978.5220320"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/TR.1981.5221156"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/TR.1969.5216341"},{"key":"ref9","author":"somani","year":"1997","journal-title":"Boolean Algebraic Methods for Phased-Mission System Analysis"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/TR.2006.874941"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/ISMVL.1993.289589"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/TR.2008.2011673"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/TR.2002.802892"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1986.1676819"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/TR.2009.2026804"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/TR.2002.1011526"}],"container-title":["IEEE Transactions on Systems, Man, and Cybernetics: Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6221021\/6814830\/06587608.pdf?arnumber=6587608","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,12]],"date-time":"2022-01-12T16:17:36Z","timestamp":1642004256000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6587608\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,6]]},"references-count":34,"journal-issue":{"issue":"6"},"URL":"https:\/\/doi.org\/10.1109\/tsmc.2013.2277692","relation":{},"ISSN":["2168-2216","2168-2232"],"issn-type":[{"value":"2168-2216","type":"print"},{"value":"2168-2232","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,6]]}}}