Modeling and Simulation of Mini Autonomous Underwater Vehicles with Fins | IEEE Conference Publication | IEEE Xplore