Cosimo, S., et al.. Geo-distributed Simulation and Verification Infrastructure for Safe Train Galilleo-based Positioning. Zenodo, Nov. 2020, doi:10.5281/zenodo.4896672.