Research-in-progress-Model-Checking-system explorers-2022-epita-03