@article{DBLP:journals/jss/ClarisoCGL16, author = {Robert Claris{\'{o}} and Jordi Cabot and Esther Guerra and Juan de Lara}, title = {Backwards reasoning for model transformations: Method and applications}, journal = {Journal of Systems and Software}, volume = {116}, pages = {113--132}, year = {2016}, url = {http://dx.doi.org/10.1016/j.jss.2015.08.017}, doi = {10.1016/j.jss.2015.08.017}, timestamp = {Mon, 09 May 2016 18:29:23 +0200}, biburl = {http://dblp.uni-trier.de/rec/bib/journals/jss/ClarisoCGL16}, bibsource = {dblp computer science bibliography, http://dblp.org} }