Design of a mission management system for the autonomous underwater vehicle MARIUS | IEEE Conference Publication | IEEE Xplore