Design of an Automatic Push Coring Device onboard an ROV | IEEE Conference Publication | IEEE Xplore