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