A Multiple-Valued Decision Diagram Based Method for Efficient Reliability Analysis of Non-Repairable Phased-Mission Systems | IEEE Journals & Magazine | IEEE Xplore