Modeling and Control of the MARES Autonomous Underwater Vehicle - Nuno Cruz (2010)