@misc{indiciaef808aab78d50,
  title = {Signal-Based Properties of Cyber-Physical Systems: Taxonomy and Logic-based Characterization},
  author = {Chaima Boufaied and Maris Jukss and Domenico Bianculli and Lionel Claude Briand and Yago Isasi Parache},
  year = {2020},
  doi = {10.1016/j.jss.2020.110881},
  url = {https://arxiv.org/abs/1910.08330},
  note = {Source identifier: 1910.08330}
}