@misc{indiciae5b40bd81872e,
  title = {Temporal HAL-API Dependencies as a Gateway to Formal Embedded Software Development},
  author = {Manuel Bentele and Andreas Podelski and Axel Sikora and Bernd Westphal},
  year = {2025},
  url = {https://arxiv.org/abs/2512.12788},
  note = {Source identifier: 2512.12788}
}