On Verifying ATL Transformations Using ‘off-the-shelf’ SMT Solvers | Publicación