Path following for formations of underactuated marine vessels under influence of constant ocean currents | IEEE Conference Publication | IEEE Xplore