THETIS: an underwater remotely operated vehicle | IEEE Conference Publication | IEEE Xplore