Overbounding observation errors considering elevation-related distribution characteristics for maritime RT-PPP integrity monitoring | Synapse