A rotating arc gas pump for circuit breaking and other applications | IEEE Journals & Magazine | IEEE Xplore