Text this: Towards automated formal analysis of model transformation specifications /