A memory interference analysis using a formal timing analyzer (WIP). - Mihail Asavoae; Oumaima Matoussi; Asmae Bouachtala; Hai-Dang Vu; Mathieu Jan (LCTES, 2022)