A BDD-based algorithm for reliability analysis of phased-mission systems | IEEE Journals & Magazine | IEEE Xplore