Mine electrotechnology research: the past 17 years | IEEE Journals & Magazine | IEEE Xplore