Design, development, and testing at sea of the mission control system for the MARIUS autonomous underwater vehicle | IEEE Conference Publication | IEEE Xplore