@inproceedings{MoDELS-2018-WeckesserLRS,
	author        = "Markus Weckesser and Malte Lochau and Michael Ries and Andy Schürr",
	booktitle     = "{Proceedings of the 21th International Conference on Model Driven Engineering Languages and Systems}",
	doi           = "10.1145/3239372.3239398",
	pages         = "34--44",
	publisher     = "{ACM}",
	title         = "{Mathematical Programming for Anomaly Analysis of Clafer Models}",
	year          = 2018,
}