Distributed Leader-Follower Formation Control for Autonomous Vessels based on Model Predictive Control | IEEE Conference Publication | IEEE Xplore