Model-Based Development of an Autonomous Sailing Yacht Controller | IEEE Conference Publication | IEEE Xplore