@inproceedings {27524,
	title = {Understanding Digital Twins for Cyber-Physical Systems: A Conceptual Model},
	journal = {International Symposium On Leveraging Applications of Formal Methods, Verification and Validation},
	volume = {12479},
	year = {2021},
	pages = {54-71},
	publisher = {LNCS, Springer, Cham},
	doi = {https://doi.org/10.1007/978-3-030-83723-5_5},
	author = {Yue, Tao and Arcaini, Paolo and Ali, Shaukat},
	editor = {Fitzgerald, John and Peter Gorm {Larsen}}
}
