Very interesting stuff!
After a quick reading, a probable stupid question: at the last page (58), table 6:
Downlink Doppler: -79.5 -75.1 -70.7 Hz Satellite movement, which I understand as the Doppler of the down link (the DeltaFdown variable of page 56), so between 3F-1 and Perth
Why does this value change with the latitude of the aircraft?
Does this value include the error for the faulty compensation from the aircraft because the satellite is assumed to be in another location it actually is?