Distributed Formation Control for Multiple Spacecraft with Event-triggered Communication | IEEE Conference Publication | IEEE Xplore