Phased-mission system reliability under Markov environment | IEEE Journals & Magazine | IEEE Xplore