Positioning using GNSS signals and digital maps | IET Conference Publication | IEEE Xplore