Event-Triggered Finite-Time Attitude Control for Multiple Rigid Spacecraft With User-Defined Attitude Constraints | IEEE Journals & Magazine | IEEE Xplore