Mathematische Sicherheit für Embedded-Code. (Elektronik Industrie, 2025)