An STL-Based Formulation of Resilience in Cyber-Physical Systems - Chen, Hongkai; Lin, Shan; Smolka, Scott A.; Paoletti, Nicola (Formal Modeling and Analysis of Timed Systems, 2022)