Semi-global practical stabilization of an underactuated surface vessel via nested saturation controller | IEEE Conference Publication | IEEE Xplore