A separable ternary decision diagram based analysis of generalized phased-mission reliability | IEEE Journals & Magazine | IEEE Xplore