Design and Evaluation of a Compact Correlation Velocity Log for Small Underwater Vehicles | IEEE Conference Publication | IEEE Xplore