Nonlinear Kalman filtering of long-baseline, short-baseline, GPS, and depth measurements | IEEE Conference Publication | IEEE Xplore