I took a class on GPS in grad school. We built a GPS receiver in software (MATLAB, actually), and I remember that we had to account for relativistic effects. I do not remember exactly what the math was, though. I think that it was just a correction provided by each satellite, which was added/subtracted from the time/distance from that satellite to the receiver. If I can find the textbook, I'll try to look up exactly how it works.