Map-matching based on driver behavior model and massive trajectories | IEEE Conference Publication | IEEE Xplore