Finite-Time Synchronization Control of Spacecraft Formation With Network-Induced Communication Delay | IEEE Journals & Magazine | IEEE Xplore