@article{MoDELS-J-2011-JacksonLB15,
	author        = "Ethan K. Jackson and Tihamer Levendovszky and Daniel Balasubramanian",
	doi           = "10.1007/s10270-013-0315-y",
	journal       = "{Software and System Modeling}",
	number        = 1,
	pages         = "271--285",
	title         = "{Automatically reasoning about metamodeling}",
	volume        = 14,
	year          = 2015,
}