Autonomous Underwater Intervention: Experimental Results of the MARIS Project | IEEE Journals & Magazine | IEEE Xplore