Text this: An efficient Markov model for reliability analysis of predictive hybrid m-out-of-n systems.