Towards the Formal Verification of Model Transformations: An Application to Kermeta. - Amrani, Moussa (2013)