WCET Analysis for Multi-Core Processors with Shared L2 Instruction Caches
the worst - case execution - time problem - overview of methods and survey of tools .