BDD-based reliability analysis of phased-mission systems with multimode failures | IEEE Journals & Magazine | IEEE Xplore