Multilevel coupled model transformations for precise and reusable definition of model behaviour - Macías, Fernando; Wolter, Uwe; Rutle, Adrian; Durán, Francisco; Rodriguez-Echeverria, Roberto (Journal of logical and algebraic methods in programming, 2019)