Markov-based reliability model for a mixed redundant system and parallel genetic algorithm with knowledge archives for a redundancy allocation problem