Improving the stability of real-time PPP solutions by receiver clock modeling | Synapse