Flow Facts für WCET-optimierende Compiler Modellierung und Transformation - Schulte, Daniel (VDM Verlag Dr. Müller, 2007)