@article{dblp-journals-arc-liutyz22,
  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://dblp.org/rec/journals/arc/LiuTYZ22},
  journal = {Annu. Rev. Control. 53}
}