Automated Code Generation and Validation for Software Components of Microcontrollers. - Sebastian Haug; Christoph Böhm 007; Daniel Mayer (CoRR, 2025)