Event-triggered Attitude Tracking Control of Spacecraft Formation with Prescribed Performance | IEEE Conference Publication | IEEE Xplore