Jackson, E. ., Levendovszky, T. ., & Balasubramanian, D. . (2015). Automatically reasoning about metamodeling. Software & Systems Modeling, 14, 15. Retrieved from https://link.springer.com/article/10.1007/s10270-013-0315-y#citeas (Original work published February 2015)