Geo-Distributed Simulation and Verification Infrastructure for safe train Galileo-based positioning | Publicación