@conference {537, title = {Example-Driven Modeling Using Clafer}, booktitle = {First International Workshop on Model-driven Engineering By Example}, year = {2013}, url = {http://ceur-ws.org/Vol-1104}, attachments = {http://gsd.uwaterloo.ca/sites/default/files/2013.09.29-antkiewicz-EDM-using-Clafer.ppsx , http://gsd.uwaterloo.ca/sites/default/files/2013-mdebe-edm-clafer.pdf}, author = {Micha{\l} Antkiewicz and B{\k a}k, Kacper and Dina Zayan and Krzysztof Czarnecki and Andrzej W{\k a}sowski and Diskin, Zinovy} }