Measuring ATL Transformations 1 Introduction