A Combinatorial Modeling Method for Mission Reliability of Phased-Mission System With Phase Backups | IEEE Journals & Magazine | IEEE Xplore