Zhihua Tang Joanne Bechta Dugan BDD-based reliability analysis of phased-mission systems with multimode failures. 350-360 2006 55 IEEE Transactions on Reliability 2 http://dx.doi.org/10.1109/TR.2006.874941 db/journals/tr/tr55.html#TangD06