1. Bézivin, J.: On the unification power of models. Softw. Syst. Modell. 4, 171–188 (2005)
2. Schmidt, D.C.: Guest editor’s introduction: model-driven engineering. Computer 39, 25–31 (2006)
3. Cuevas, C.: Metaherramientas MDE para el diseño de entornos de desarrollo de sistemas distribuidos de tiempo real. Ph.D. Thesis (2016)
4. Cuevas, C., Drake, J.M., López Martínez, P., Gutiérrez García, J.J., González Harbour, M., Medina, J.L., Palencia, J.C.: MAST 2 Metamodel (2012)
5. http://www.istr.unican.es/members/cesarcuevas/phd/3.2-constraintsVerification.html