A Mission Controller for High Level Control of Autonomous and Semi-Autonomous Underwater Vehicles | IEEE Conference Publication | IEEE Xplore