Proving Train Integrity Using Satellite Navigation Services For Train Control Applications June, 11 / 2018