https://123dok.net/document/y8g75e2z-concurrency-aware-executable-domain-specific-modeling-languages-as-models-of-concurrency.html