WCET Analysis meets Virtual Prototyping: Improving Source-Level Timing Annotations. - Martin Becker 001; Marius Pazaj; Samarjit Chakraborty (SCOPES, 2019)