Design of high-speed induction machine for the 6 kW, 120 000 rpm helium turbo-circulator
high - speed electric machines : challenges and design considerations .