On validation of ATL transformation rules by transformation models | Publicación