A Generic Executable Model for Fast Yet Accurate Contention Simulation in Multiprocessor Systems | IEEE Journals & Magazine | IEEE Xplore