“Improving WCET Evaluation using Linear Relation Analysis” (2019) Leibniz Transactions on Embedded Systems, 6(1), pp. 02:1–02:28. doi:10.4230/LITES-v006-i001-a002.