Design and simulation of a permanent-magnet electromagnetic aircraft launcher | IEEE Journals & Magazine | IEEE Xplore