Theory and Practice of Model Transformations - Duddy (Springer Berlin Heidelberg, 2013)