Solution Separation Versus Residual-Based RAIM | Synapse