, Germany, p.310, 2001.

G. C. Necula, S. Mcpeak, P. Shree, W. Rahul, and . Weimer, CIL: Intermediate Language and Tools for Analysis and Transformation of C Programs, Compiler Construction, pp.213-228, 2002.

P. Raymond and C. Maiza, Timing analysis enhancement for synchronous program. Real-Time Systems, pp.1-29, 2015.

J. Ruiz and H. Cassé, Using SMT Solving for the Lookup of Infeasible Paths in Binary Programs (regular paper), Workshop on Worst-Case Execution Time Analysis, Lund, Sweden, pp.95-104, 2015.

T. Sewell, F. Kam, and G. Heiser, Complete, High-Assurance Determination of Loop Bounds and Infeasible Paths for WCET Analysis, 2016 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), pp.185-195, 2016.

S. Björn-lisper, A. Bygde, and . Ermedahl, An Efficient Algorithm for Parametric WCET Calculation, Journal of Systems Architecture, vol.57, issue.6, pp.614-624, 2011.

V. Suhendra, T. Mitra, A. Roychoudhury, and T. Chen, Efficient detection and exploitation of infeasible paths for software timing analysis, DAC, pp.358-363, 2006.

S. Thesing, J. Souyris, R. Heckmann, F. Randimbivololona, M. Langenbach et al., An Abstract Interpretation-Based Timing Validation of Hard Real-Time Avionics Software, DSN, pp.625-632, 2003.

R. Wilhelm, J. Engblom, A. Ermedahl, N. Holsti, S. Thesing et al., The worst-case execution-time problem -overview of methods and survey of tools, Staschulat, and Per Stenström, vol.7, 2008.

J. Zwirchmayr, A. Bonenfant, M. De-michiel, H. Cassé, L. Kovács et al., FFX: A portable WCET annotation language (regular paper), International Conference on Real-Time and Network Systems (RTNS), pp.91-100, 2012.

J. Zwirchmayr, P. Sotin, A. Bonenfant, D. Claraz, and P. Cuenot, Identifying Relevant Parameters to Improve WCET Analysis (regular paper), Workshop on Worst-Case Execution Time Analysis, pp.91-100, 2014.