Automatic Extraction of Timing Models for WCET Estimation From a High-Level Synthesis Flow