A Map Based Multipath Error Model for Safety Critical Navigation in Railway Environments | IEEE Conference Publication | IEEE Xplore