Design and Analysis of High-Speed Induction Machines for Submerged Cryogenic Pumps | IEEE Conference Publication | IEEE Xplore