Global finite-time attitude consensus of leader-following spacecraft systems based on distributed observers. (May 2018)