Very-High-Speed Miniaturized Permanent Magnet Motors: Modeling and Experimental Validation | IEEE Conference Publication | IEEE Xplore