Task description language for underwater robots | IEEE Conference Publication | IEEE Xplore