Formation Control for Unmanned Surface Vessels Using Lyapunov Redesign Method (Journal of Ocean Engineering and Technology, 2014)