A backstepping approach for the formation control of multiple autonomous underwater vehicles using a leader–follower strategy. Issue 1 (2nd January 2016)