EM-TFL environment for the design optimization of electromagnetic launchers | IEEE Journals & Magazine | IEEE Xplore