Formal Analysis of Memory Contention in a Multiprocessor System. - Liu, Liya; Hasan, Osman; Tahar, Sofiène (2013)