Impact of Automatic Gain Time Identification on Tree-Based Static WCET Analysis. - Mathieu Avila; Maxime Glaizot; Isabelle Puaut (WCET, 2003)