Nataliya Pankratova et al. The Strategy of Digital twin Implementation at the Cyber-Phisical Enterprises
Kruti P. Shah et al. Towards Verification of UML Class Models using Formal Specification Methods: A Review