Time-Synchronized Safety-Critical Attitude Control for Spacecraft with Hardware-in-Loop Validation | IEEE Conference Publication | IEEE Xplore