WCET-fähige Quellcode- und Assembler-Optimierungstechniken für Realzeitsysteme.