Benchmarks for maintenance scheduling problems in power generation | IEEE Conference Publication | IEEE Xplore