https://123dok.net/document/yevkeo4e-recherche-approche-incrémentale-modulaire-vérification-propriétés-temporelles-linéaires.html