S2R-CFM-IP2-01-2017 Enhancing railway signalling systems thanks to applying satellite positioning; developing an on-board safe Train Integrity; applying formal methods approach and standardised interfaces, and enhancing Traffic Management System (TMS) functions