Kateryna Muts, Heiko Falk: Compiler-based WCET prediction performing function specialization. SCOPES 2020: 32-35