https://123dok.net/document/qo57gmg5-generic-executable-model-specification-validation-distributed-behaviors.html