Leader-Follower Formation Tracking Control and Stabilization of Underactuated Unmanned Surface Vessels via Event-Triggered Mechanism | IEEE Journals & Magazine | IEEE Xplore