Digital Control System of a Switching Current Source for Plasmatron Power Supply | IEEE Conference Publication | IEEE Xplore