Worst-case execution time graph