@article{hardwareenforcedsemanticcoordinationfors,
  title = {Hardware-Enforced Semantic Coordination for Safety-Critical Real-Time Autonomous Systems},
  author = {Uwe M. Borghoff and Paolo Bottoni and Remo Pareschi},
  year = {2026},
  eprint = {2607.02376},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2607.02376},
}