Analyse und Entwicklung sicherheitskritischer eingebetteter Systeme - EN TRANSLATION