@inproceedings {ICST12:triDim, title = {A Tridimensional Approach for Studying the Formal Verification of Model Transformations}, journal = {IEEE International Conference on Software Testing, Verification and Validation (ICST)}, year = {2012}, pages = {921-928}, author = {Amrani, Moussa and L{\'u}cio, Levi and Gehan M. K. Selim and Beno{\^\i}t Combemale and Dingel, J{\"u}rgen and Hans Vangheluwe and Yves Le Traon and James R. Cordy} }