Advances in the specification and execution of underwater autonomous manipulation tasks | IEEE Conference Publication | IEEE Xplore