Sequential Change Detection for Next-Generation RAIM Algorithms | Publicación