Dynamic Modeling, Analysis, and Testing of a Variable Buoyancy System for Unmanned Multidomain Vehicles | IEEE Journals & Magazine | IEEE Xplore