Upgrading of TRISTAN by superconducting RF system | IEEE Conference Publication | IEEE Xplore