On distributed leader escort control and bipartite time-varying formation tracking of multiple ASVs | IEEE Conference Publication | IEEE Xplore