Stochastic modeling of non-identical redundant systems with priority, preventive maintenance, and Weibull failure and repair distributions