Surefire UAV: A CPS Testbed. - Shiyu Zhang; Qixin Wang; Qipeng Qin (RTCSA, 2025)