Quick fixing ATL transformations with speculative analysis | Publicación