A Mathematical Model of Troposphere Water Vapor Tomography | IEEE Conference Publication | IEEE Xplore