Vom Modell zum Code fuer IEC 61508, ISO 26262 und Co.