Modeling and Control of Negative-Buoyancy Tri-Tilt-Rotor Autonomous Underwater Vehicles Based on Immersion and Invariance Methodology | Publicación