Dynamic simulation tools for the analysis and design of AUVs | IEEE Conference Publication | IEEE Xplore