Describir: Application of Automata Based Approach for Specification of Model Transformation Strategies