{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,10]],"date-time":"2026-01-10T03:06:39Z","timestamp":1768014399363,"version":"3.49.0"},"reference-count":58,"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.2299431","type":"journal-article","created":{"date-parts":[[2014,1,31]],"date-time":"2014-01-31T17:44:00Z","timestamp":1391190240000},"page":"367-382","source":"Crossref","is-referenced-by-count":59,"title":["Combinatorial Reliability Analysis of Imperfect Coverage Systems Subject to Functional Dependence"],"prefix":"10.1109","volume":"63","author":[{"given":"Liudong","family":"Xing","sequence":"first","affiliation":[]},{"given":"Brock A.","family":"Morrissette","sequence":"additional","affiliation":[]},{"given":"Joanne Bechta","family":"Dugan","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1016\/j.ress.2007.12.004"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1016\/j.ress.2013.07.013"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1016\/j.ress.2007.05.002"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/TR.2007.909767"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/TR.2004.837703"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1016\/j.ress.2013.05.007"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1016\/j.ress.2012.03.018"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/TR.2006.890900"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1109\/TR.2002.1011526"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/24.799898"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1016\/j.ress.2007.03.013"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/RAMS.2005.1408404"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/RAMS.2003.1182018"},{"key":"ref2","article-title":"New results in fault-tree analysis","author":"dugan","year":"1996","journal-title":"Proc Tutorial Notes Annu Rel Maintainability Symp"},{"key":"ref1","author":"stallings","year":"2009","journal-title":"Computer Organization and Architecture"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/24.935019"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2011.2170415"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1016\/j.ress.2011.05.007"},{"key":"ref24","first-page":"540","article-title":"BDD-based reliability evaluation of k-out-of-<formula formulatype=\"inline\"> <tex Notation=\"TeX\">$({\\rm n}+{\\rm k})$<\/tex><\/formula> warm standby systems subject to fault-level coverage","volume":"227","author":"zhai","year":"2013","journal-title":"Proc IMechE Part O J Risk Rel"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1016\/j.cie.2013.05.001"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1016\/j.ress.2011.02.005"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1016\/j.ress.2008.02.016"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1109\/RAMS.1997.571666"},{"key":"ref51","author":"rausand","year":"2003","journal-title":"System Reliability Theory Models and Statistical Methods"},{"key":"ref58","author":"portinale","year":"2010","journal-title":"ARPHA An FDIR Architecture for Autonomous Spacecrafts Based on Dynamic Probabilistic Graphical Models"},{"key":"ref57","doi-asserted-by":"publisher","DOI":"10.1243\/1748006XJRR260"},{"key":"ref56","doi-asserted-by":"publisher","DOI":"10.1109\/RAMS.2008.4925821"},{"key":"ref55","doi-asserted-by":"publisher","DOI":"10.1109\/TR.2003.816397"},{"key":"ref54","doi-asserted-by":"publisher","DOI":"10.1109\/TR.2005.853040"},{"key":"ref53","doi-asserted-by":"publisher","DOI":"10.1109\/TR.2007.898574"},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-33941-7_17"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/T-C.1973.223703"},{"key":"ref11","first-page":"441","article-title":"Reliability analysis of fault tolerant systems with multi-fault coverage","volume":"3","author":"levitin","year":"2007","journal-title":"Int J ournal of Performability Eng"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1016\/j.ress.2013.05.007"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2012.2197199"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/TR.2007.903229"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/TR.2008.923475"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/24.75332"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/RAMS.1997.571665"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/HASE.1998.731591"},{"key":"ref18","article-title":"An overview of the phase-modular fault tree approach to phased-mission system analysis","author":"meshkat","year":"2003","journal-title":"Proc 2nd IEEE Int Conf Space Mission Challenges Inf Technol"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/MASCOT.1997.567616"},{"key":"ref4","article-title":"Improving the efficiency of dynamic fault tree analysis by considering gates FDEP as static","author":"merle","year":"2010","journal-title":"Proc Eur Safety Rel Conf"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/24.159800"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1986.1676819"},{"key":"ref5","year":"2008","journal-title":"Handbook of Performability Engineering"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/24.765927"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1016\/0951-8320(93)90060-C"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1016\/j.simpat.2009.12.001"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/800195.805940"},{"key":"ref46","author":"cormen","year":"2001","journal-title":"Introduction to Algorithms"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2004.1255790"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1016\/0377-2217(89)90335-4"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1145\/123186.123222"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1016\/j.ress.2010.06.014"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4471-4971-2_8"},{"key":"ref44","first-page":"95","article-title":"Handling functional dependence without using Markov models","volume":"4","author":"xing","year":"2008","journal-title":"Int J Performability Eng Short Commun"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1016\/j.ress.2012.10.001"}],"container-title":["IEEE Transactions on Reliability"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/24\/6750070\/06714531.pdf?arnumber=6714531","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\/6714531\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,3]]},"references-count":58,"journal-issue":{"issue":"1"},"URL":"https:\/\/doi.org\/10.1109\/tr.2014.2299431","relation":{},"ISSN":["0018-9529","1558-1721"],"issn-type":[{"value":"0018-9529","type":"print"},{"value":"1558-1721","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,3]]}}}