https://123dok.net/document/oy86x15q-formal-ontology-driven-model-refactoring.html