End-to-End ARAIM demonstrator: magicARAIM suite | Publicación