Levitation Force for Evaluation of the High Temperature Superconducting Maglev Vehicle Under Derailment | IEEE Journals & Magazine | IEEE Xplore