https://123dok.net/document/zlg1408o-a-rigorous-framework-for-model-driven-development.html