https://123dok.net/document/y6j5w34q-vérification-formelle-propriétés-graphiques-systèmes-informatiques-interactifs.html