https://5dok.net/document/y8gr3lm2-using-grained-model-transformations-explore-boundaries-model-verification.html