Underwater robotized high speed machining for maintenance | IEEE Conference Publication | IEEE Xplore