@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}
}
