Geo-Distributed Simulation and Verification Infrastructure for safe train Galileo-based positioning. - Cosimo Stallo; Alessandro Neri 001; Pietro Salvatori; Francesco Rispoli; Olivier Desenfans; Juliette Marais; Antonio Aguila; Beatriz Sierra; Ricardo Campo; Daniel Molina; Susana Herranz; Xavier Leblan; et al. (ENC, 2020)