A Virtual Testbed for Underwater Robotics - Application to Control Design for AUVs