The Plasmatron, A Continuously Controllable Gas-Discharge Developmental Tube | IEEE Journals & Magazine | IEEE Xplore