S2R-OC-IP2-02-2018 Modern methodologies and verifications for GNSS in Railways and virtual test environment