A solution approach based on Benders decomposition for the preventive maintenance scheduling problem of a stochastic large-scale energy system.