A Cascaded kalman filter model-aided inertial navigation system for underwater vehicle | IEEE Conference Publication | IEEE Xplore