An Efficient Mixed-Integer Linear Formulation for Long-Term Overhead Lines Maintenance Scheduling in Power Distribution Systems | IEEE Journals & Magazine | IEEE Xplore