Upper-bounding BIAS errors in satellite navigation | IEEE Conference Publication | IEEE Xplore