Automatic Extraction of Timing Models for WCET Estimation From a High-Level Synthesis Flow. - Thomas Feuilletin; Dylan Leothaud; Simon Rokicki; Steven Derrien; Isabelle Puaut (DATE, 2026)