@misc{indiciae6d97f1885037,
  title = {Relevant HAL Interface Requirements for Embedded Systems},
  author = {Manuel Bentele and Andreas Podelski and Axel Sikora and Bernd Westphal},
  year = {2025},
  url = {https://arxiv.org/abs/2512.14514},
  note = {Source identifier: 2512.14514}
}