https://123dok.net/document/yev1e8n4-génie-logiciel-modélisation-vérification-comportementales-systèmes-melliti-février.html