Towards automated formal analysis of model transformation specifications - Asmiza Abdul Sani (2013)