Barbosa, Paulo E. S., Franklin Ramalho, Jorge Figueiredo, Anikó Costa, Lu\'?s Gomes, and Antônio Junior. "Semantic Equations for Formal Models in the Model-Driven Architecture." DoCEIS. 2010. 251-260.