Globale Kontrollflussanalyse von eingebetteten Echtzeitsystemen.