https://123dok.net/document/nzwm90qe-conception-verification-exigences-surete-temporisees-contrats-modeles-sysml.html