On the use of GPS receivers in railway environments | IEEE Journals & Magazine | IEEE Xplore