Lagrangian formulation of underwater vehicles' dynamics | IEEE Conference Publication | IEEE Xplore