Backwards reasoning for model transformations: Method and applications | Publicación