@article{1225066,
  author = {Thanh Nguyen and Matthew Bundas and Tran Son and Marcello Balduccini and Kathleen Campbell Garwood and Edward Griffor},
  title = {Specifying and Reasoning about CPS through the Lens of the NIST CPS Framework},
  year = {2022},
  month = {2022-03-03 05:03:00},
  publisher = {Theory and Practice of Logic Programming},
  doi = {https://doi.org/10.1017/S1471068422000035},
  language = {en},
}