Leader-follower formation control of networked spacecraft in deep space | IEEE Conference Publication | IEEE Xplore