On the Kalman filtering formulation for RTK joint positioning and attitude quaternion determination | IEEE Conference Publication | IEEE Xplore