Electrical insulation technology for superconducting magnets in Japan | IEEE Journals & Magazine | IEEE Xplore