https://123dok.net/document/zwv9p2eg-formal-computation-independent-model-problem-domain-mda.html