A LOS-Based Path-Following Control of Underactuated Autonomous Surface Vessels for Time-Varying Formations: Theory and Experiment | IEEE Journals & Magazine | IEEE Xplore