Barbosa, Paulo E. S., Franklin Ramalho, Jorge C. A. de Figueiredo, Antonio D. S. dos Junior, Anikó Costa, and Lu\'?s Gomes. "Checking Semantics Equivalence of MDA Transformations in Concurrent Systems." J. UCS. 15 (2009): 2196-2224.