Measurement of the tungsten ion concentration after forced extinction of a vacuum arc | IEEE Journals & Magazine | IEEE Xplore