A formal approach to the WCRT analysis of multicore systems with memory contention under phase-structured task sets
scientific article; zbMATH DE number 6390327