Baseline advanced RAIM user algorithm and possible improvements | Synapse