Design of an ECRH system for JET | IEEE Conference Publication | IEEE Xplore