@conference {519,
	title = {Clafer Tools for Product Line Engineering},
	booktitle = {Software Product Line Conference},
	year = {2013},
	note = {Accepted for publication.},
	address = {Tokyo, Japan},
	attachments = {http://gsd.uwaterloo.ca/sites/default/files/2013-splc-clafer.pdf},
	author = {Micha{\l} Antkiewicz and B{\k a}k, Kacper and Alexandr Murashkin and Rafael Olaechea and Jia Liang and Krzysztof Czarnecki}
}