Rigorous bounding of position error estimates for aircraft surface movement | IEEE Conference Publication | IEEE Xplore