Automatic regional mapping of Total Electron Content using a GPS sensor network and isotropic Universal Kriging | IEEE Conference Publication | IEEE Xplore