Geo-Distributed Simulation and Verification Infrastructure for safe train Galileo-based positioning | IEEE Conference Publication | IEEE Xplore