Distributed finite-time velocity-free attitude coordination control for spacecraft formations. (May 2016)