An Optimization Method for Maintenance Resource Allocation in Electrified Railway Catenary Systems | IEEE Journals & Magazine | IEEE Xplore