Observer-Based Finite-Time Attitude Containment Control of Multiple Spacecraft Systems | IEEE Journals & Magazine | IEEE Xplore