TPX superconducting tokamak magnet system 1995 design and status overview | IEEE Conference Publication | IEEE Xplore