Design and Testing of a Miniature Variable Buoyancy System for Underwater Vehicles | IEEE Journals & Magazine | IEEE Xplore