https://5dok.net/document/7qvrr0dy-dynamic-logics-for-model-transformations.html