Design Optimization of Reluctance-Synchronous Linear Machines for Electromagnetic Aircraft Launch System | IEEE Journals & Magazine | IEEE Xplore