TY  - RPRT
TI  - Relevant HAL Interface Requirements for Embedded Systems
AU  - Manuel Bentele
AU  - Andreas Podelski
AU  - Axel Sikora
AU  - Bernd Westphal
PY  - 2025
UR  - https://arxiv.org/abs/2512.14514
ID  - 2512.14514
ER  -