Development of correlator model for differential VLBI observations of satellites | IEEE Conference Publication | IEEE Xplore