@inproceedings{chen2022stl,
  author    = {Hongkai Chen and
               Shan Lin and
               Scott A. Smolka and
               Nicola Paoletti},
  title     = {An STL-Based Formulation of Resilience in Cyber-Physical Systems},
  booktitle = {FORMATS 2022},
  series    = {LNCS},
  volume    = {13465},
  pages     = {117--135},
  year      = {2022},
  url       = {https://doi.org/10.1007/978-3-031-15839-1_7},
  doi       = {10.1007/978-3-031-15839-1_7},
  award = {Best Paper Award}
}