Validation formelle des systèmes numériques critiques : génération de l'espace d'états de réseaux de Petri exécutés en synchrone. (Formal validation of critical digital systems : generation of state space of Petri nets executed in synchronous). - Ibrahim Merzoug (2018)