@misc{indiciaebf10f16f8bd8,
  title = {Contract-based Verification of Digital Twins},
  author = {Muhammad Naeem and Cristina Seceleanu},
  year = {2025},
  url = {https://arxiv.org/abs/2506.10993},
  note = {Source identifier: 2506.10993}
}