Wilhelm, Altmeyer, Burguière, Grund, Herter, Reineke, Wachter, Wilhelm, 2010. Static Timing Analysis for Hard Real-Time Systems, in: . Springer Berlin Heidelberg.. https://doi.org/10.1007/978-3-642-11319-2_3