Kai Lampka, Georgia Giannopoulou, Rodolfo Pellizzoni, Zheng Wu, Nikolay Stoimenov. A formal approach to the WCRT analysis of multicore systems with memory contention under phase-structured task sets. Real-Time Systems, 50(5-6):736-773, 2014. [doi]
Abstract is missing.