@misc{16809,
  author = {Shaukat Ali},
  title = {Towards Requirements Engineering for Digital Twins of Cyber-Physical Systems},
  year = {2022},
  journal = {In 11th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation},
  publisher = {LNCS},
}