TY  - RPRT
TI  - Temporal HAL-API Dependencies as a Gateway to Formal Embedded Software Development
AU  - Manuel Bentele
AU  - Andreas Podelski
AU  - Axel Sikora
AU  - Bernd Westphal
PY  - 2025
UR  - https://arxiv.org/abs/2512.12788
ID  - 2512.12788
ER  -