JET development towards pumped divertor operations | IEEE Conference Publication | IEEE Xplore