Conservative modeling of shared resource contention for dependent tasks in partitioned multi-core systems.