Simulate the estimate for the SCET offset from TCB
In order to synchronize the on-board measurements with TCB we need the SCET offsets from TCB. In practice only one SC communicates with the ground station so we get only the SCET offset of that particular SC from TCB. That synchronization can be done with an accuracy of better than a ms. (the other two differential clock offsets will hopefully come from the Kalman Filter)
As a first model: