https://9dok.net/document/zpnmxv6v-model-validation-verification-options-contemporary-uml-ocl-analysis.html