Measuring Time of Flight Using Satellite-Based Clocks

Considering the OPERA neutrino-velocity measurement from the point of view of a GPS satellite we find that the detector at Gran Sasso has a velocity component in the order of $10^{-5}c$ towards the neutrino emission location at CERN. On GPS-receivers this translates into first-order Doppler terms, therefore a correction is required for, among other things, this ephemeris-and-location-dependent relativistic effect. To ensure correct time-of-flight measurements using satellite-based clocks we propose to extend their calibration procedures with an explicit check on these relativistic corrections.