M. Morales-Trujillo, H. Oktaba, F. Hernández-Quiroz, and B. Escalante-Ramírez, “Towards a Formalization of a Framework to Express and Reason about Software Engineering Methods”, Comput. Inform., vol. 37, no. 1, pp. 109–141, May 2018.