Pulsed microwave source utilizing an all solid state driver for the generation of time-modulated ECR plasmas | IEEE Conference Publication | IEEE Xplore