Nonlinear formation control of marine craft | IEEE Conference Publication | IEEE Xplore