Development in the theory and analysis of eddy current sensing of velocity in liquid metals