Efficient Control of an AUV-Manipulator System: An Application for the Exploration of Europa | IEEE Journals & Magazine | IEEE Xplore