A leader-follower algorithm for multiple AUV formations | Synapse