Preprint: R.A.J. van Elburg , `Measuring Time of Flight Using Satellite-Based Clocks', 2011.
Equation 5 tries to describe an error and will not be found through correct treatment of relativity. Nevertheless it can correctly describe an error in the measurement procedure. An error which in addition seems likely to occur in the context of clocks based on GPS driven oscillators.