Vertical displacement determination of a levitated superconducting mass | IEEE Journals & Magazine | IEEE Xplore