Renewable Source-Based Water Pumping Electrification in Mines: Current technologies and future trends | IEEE Journals & Magazine | IEEE Xplore