Formal Verification of the Race Condition Vulnerability in Ladder Programs. - Soraya Mesli-Kesraoui; Olga Goubali; Djamal Kesraoui; Ibtihal Eloumami; Flávio Oquendo (CCTA, 2020)