Modeling and Analysis of a Linear Stator Permanent-Magnet Vernier HTS Machine | IEEE Journals & Magazine | IEEE Xplore