1. Aguilar-Saven, R.S.: Business process modelling: review and framework. Int. J. Prod. Econ. 90(2), 129–149 (2004)
2. Atkinson, C., Kühne, T.: Model-driven development: a metamodeling foundation. IEEE Softw. 20(5), 36–41 (2003)
3. Bézivin, J.: On the unification power of models. Softw. Syst. Model. 4(2), 171–188 (2005)
4. Bézivin, J., Gerbé, O.: Towards a precise definition of the OMG/MDA framework. In: 16th IEEE International Conference on Automated Software Engineering (ASE 2001), 26–29 November 2001, Coronado Island, San Diego, CA, USA, pp. 273–280. IEEE Computer Society (2001)
5. Brucker, A.D., Tuong, F., Wolff, B.: Featherweight OCL: A proposal for a machine-checked formal semantics for OCL 2.5. Archive of Formal Proofs 2014 (2014)