Non-Line-Of-Sight GNSS signal detection using an on-board 3D model of buildings | IEEE Conference Publication | IEEE Xplore