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)