Design of an eddy-current brake for a sodium-cooled nuclear power reactor | IEEE Journals & Magazine | IEEE Xplore