https://123dok.net/document/wq2k8djq-contract-based-modeling-verification-timed-safety-requirements-sysml.html