Ship shape in Europe: cooperative robots in the ship repair industry | IEEE Journals & Magazine | IEEE Xplore