Estimating Water Current Velocities by Using a Model-Based High-Gain Observer for an Autonomous Underwater Vehicle | IEEE Journals & Magazine | IEEE Xplore