Static Timing Analysis for Hard Real−Time Systems by Wilhelm, R, Altmeyer, S, Burguière, C, Grund, D, Herter, J, Reineke, J, Wachter, B, Wilhelm, S