A Generic Executable Model for Fast Yet Accurate Contention Simulation in Multiprocessor Systems. - Sébastien Le Nours; Dharmender Singh (IEEE Embed. Syst. Lett., 2020)