T Kelter, H Falk, P Marwedel, S Chattopadhyay… - 2011 - ls12-www.cs.tu-dortmund.de
In the domain of real-time systems, the analysis of the timing behavior of programs is crucial
for guaranteeing the schedulability and thus the safeness of a system. Static analyses of the …