Distributed Cooperative Reduced Attitude Control for Leader-Following Spacecraft Formation with Directed Communication | IEEE Conference Publication | IEEE Xplore