Theory and Practice of Model Transformations - Kolovos (Springer International Publishing, 2015)