@misc{indiciaeb0ff7ee9c9f7,
  title = {Secure-by-Construction Synthesis of Cyber-Physical Systems},
  author = {Siyuan Liu and Ashutosh Trivedi and Xiang Yin and Majid Zamani},
  year = {2022},
  url = {https://arxiv.org/abs/2202.06677},
  note = {Source identifier: 2202.06677}
}