Worst-case response time analysis of resource access models in multi-core systems.