Integrity provision for map-matched positioning of road vehicles at lane level.