The ATL language