@misc{16783,
  author = {Tao Yue and Shaukat Ali and Paolo Arcaini and Fuyuki Ishikawa and John Fitzgerald and Tiziana Margaria and Peter Larsen and Jim Woodcock and Cl{\'a}udio Gomes},
  title = {Towards Requirements Engineering for Digital Twins of Cyber-Physical Systems},
  year = {2022},
  journal = {11th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation},
  publisher = {LNCS},
}