أرسل هذا في رسالة قصيرة: Towards automated formal analysis of model transformation specifications /