An exact algorithm for preventive maintenance planning of series-parallel systems