Sliding-Mode Formation Control for Underactuated Surface Vessels | IEEE Journals & Magazine | IEEE Xplore