Design of a linear bulk superconductor magnet synchronous motor for electromagnetic aircraft launch systems | IEEE Journals & Magazine | IEEE Xplore