Mesli-Kesraoui, S., Kesraoui, D., Berruet, P. et Oquendo, F. (2023) Verification of Control-Command Programs: Counterexample Explanation by Simulation. Dans CIGI Qualita MOSIM 2023, Trois-Rivières, Québec, Canada DOI 10.60662/2dtf-f320.