Multiple multipath signals with several reflections are not included in this paper. Once a (single) multipath is identified, the multipath propagation model derives the multipath delay using the length of the segment that includes the satellite, reflection point, and the receiver, along with the length of direct satellite– receiver segment