Design of the JET pumped divertor | IEEE Conference Publication | IEEE Xplore