Differential Pressure Sensor Speedometer for Autonomous Underwater Vehicle Velocity Estimation | IEEE Journals & Magazine | IEEE Xplore