A 3-D Analytic-Based Model of a Null-Flux Halbach Array Electrodynamic Suspension Device | IEEE Journals & Magazine | IEEE Xplore