https://123dok.net/document/y96r90ev-automatic-wcet-analysis-of-real-time-parallel-applications.html