@misc{indiciae81120f8738f9,
  title = {Towards Systematically Deriving Defence Mechanisms from Functional Requirements of Cyber-Physical Systems},
  author = {Cheah Huei Yoong and Venkata Reddy Palleti and Arlindo Silva and Christopher M. Poskitt},
  year = {2020},
  doi = {10.1145/3384941.3409589},
  url = {https://arxiv.org/abs/2007.03651},
  note = {Source identifier: 2007.03651}
}