Leonardo Michelon, Simone Costa, and Leila Ribeiro. 2006. Specification of Real-Time Systems with Graph Grammars. In Anais do XX Simpósio Brasileiro de Engenharia de Software, outubro 16, 2006, Florianópolis, Brasil. SBC, Porto Alegre, Brasil, 97-112. DOI: https://doi.org/10.5753/sbes.2006.21207.