WCET Analysis for Multi-Core Processors with Shared L2 Instruction Caches
Chronos: A timing analyzer for embedded software