@phdthesis{dnb-25455,
  title = {Secure-by-Construction Synthesis of Cyber-Physical Systems},
  author = {Siyuan Liu},
  year = {2022},
  url = {https://d-nb.info/1273571584},
  researchr = {https://researchr.org/publication/dnb-25455},
  cites = {0},
  citedby = {0},
  school = {Technical University of Munich, Germany},
}