Quench Detection of HTS Current Lead Using Hall Probe | IEEE Journals & Magazine | IEEE Xplore