https://1library.org/document/q2mo6x2y-systematic-method-model-model-transformation-development-verification-alloy.html