@misc{indiciaec2ebe63f0c94,
  title = {A System-of-Systems Case Study for the Verification of Composed Digital Twins},
  author = {Mennatullah T. Khedr and Mengwei Xu and John S. Fitzgerald and Peter Gorm Larsen},
  year = {2026},
  url = {https://arxiv.org/abs/2608.28498},
  note = {Source identifier: 2608.28498}
}