Worst case delay analysis of shared resource access in partitioned multi-core systems.