APA (7th ed.) Citation

Bentele, M., Podelski, A., Sikora, A., & Westphal, B. (2025). Temporal HAL-API Dependencies as a Gateway to Formal Embedded Software Development.

Chicago Style (17th ed.) Citation

Bentele, Manuel, Andreas Podelski, Axel Sikora, and Bernd Westphal. Temporal HAL-API Dependencies as a Gateway to Formal Embedded Software Development. 2025.

MLA (9th ed.) Citation

Bentele, Manuel, et al. Temporal HAL-API Dependencies as a Gateway to Formal Embedded Software Development. 2025.