Add relativistic frequency deviation for RangeRate measurements
Currently, clock relativistic correction is not used in RangeRate measurements. Adding it can improve the modelling of the range-rate measurement. The implementation of that offset is given in [1].
It can be implemented as a new EstimationModifier.
[1] Teunissen, P., & Montenbruck, O. (Eds.). (2017). Springer handbook of global navigation satellite systems, Eq. (19.13) - (19.15) and (19.17). Springer.
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information