A computer simulation model for design of variable buoyancy system for autonomous underwater vehicles/gliders | IEEE Conference Publication | IEEE Xplore