@article {jucs/BarbosaRFJCG09,
	title = {Checking Semantics Equivalence of MDA Transformations in Concurrent Systems},
	journal = {J. UCS},
	volume = {15},
	number = {11},
	year = {2009},
	note = {n/a},
	pages = {2196-2224},
	abstract = {n/a},
	author = {Paulo E. S. Barbosa and Franklin Ramalho and Jorge C. A. de Figueiredo and Antonio D. dos S. Junior and Anik{\'o} Costa and Lu\'{\i}s Gomes}
}
