Static extraction of memory access profiles for multi-core interference analysis of real-time tasks.