A dead reckoning/map correlation system for automatic vehicle tracking | IEEE Journals & Magazine | IEEE Xplore