ELEKTRONIKPRAXIS Artikel | 08.09.2008 Automatische Code-Generierung für sicherheitskritische Applikationen