Comments on PMS BDD generation in "A BDD-based algorithm for Reliability Analysis of phased-mission systems | IEEE Journals & Magazine | IEEE Xplore