@misc{indiciae810022cfab6d,
  title = {Specifying and Reasoning about CPS through the Lens of the NIST CPS Framework},
  author = {Thanh Hai Nguyen and Matthew Bundas and Tran Cao Son and Marcello Balduccini and Kathleen Campbell Garwood and Edward R. Griffor},
  year = {2022},
  url = {https://arxiv.org/abs/2201.05710},
  note = {Source identifier: 2201.05710}
}