Truly Distributed Finite-Time Attitude Formation-Containment Control for Networked Uncertain Rigid Spacecraft | IEEE Journals & Magazine | IEEE Xplore