Development of a Dynamic Model of a Small High-Speed Autonomous Underwater Vehicle | IEEE Conference Publication | IEEE Xplore