RT DF A1 Liang, Hengyi. T1 Co-Design of Resilient Timing-Constrained Cyber-Physical Systems