Capacitive pulsed power supply systems for ETC guns | IEEE Journals & Magazine | IEEE Xplore