@article{ECMFA-J-2012-ButtnerC15,
	author        = "Fabian Büttner and Jordi Cabot",
	doi           = "10.1007/s10270-013-0332-x",
	journal       = "{Software and System Modeling}",
	number        = 1,
	pages         = "413--427",
	title         = "{Lightweight string reasoning in model finding}",
	volume        = 14,
	year          = 2015,
}