Development and verification of mathematical model for halo current in ITER | IEEE Conference Publication | IEEE Xplore