A comparison of formulations for 3D finite element modeling of electromagnetic launchers | IEEE Journals & Magazine | IEEE Xplore