Enhancing multi-GNSS time and frequency transfer using a refined stochastic model of a receiver clock. (30th September 2019)