Model-aided inertial navigation for underwater vehicles | IEEE Conference Publication | IEEE Xplore