https://123dok.net/document/q7wel52n-contribution-démarche-vérification-formelle-architectures-logicielles.html