Mission specification in underwater robotics | Publicación