A leveling algorithm for an underwater vehicle using extended Kalman filter | IEEE Conference Publication | IEEE Xplore