https://123dok.net/document/7qv0gpry-when-the-worst-case-execution-time-estimation-gains-from-the-application-semantics.html