https://123dok.net/document/qo5jw15y-assessing-software-abstractions-in-wcet-analysis-of-reactive-programs.html