Design and analysis of a linear induction motor for a prototype HTS maglev transportation system | IEEE Conference Publication | IEEE Xplore