On the Kalman filtering formulation for RTK joint positioning and attitude quaternion determination | Publicación