A Kalman filter for integrating dead reckoning, map matching and GPS positioning | IEEE Conference Publication | IEEE Xplore