MICHELON, Leonardo; COSTA, Simone André da; RIBEIRO, Leila. Specification of Real-Time Systems with Graph Grammars. In: SIMPÓSIO BRASILEIRO DE ENGENHARIA DE SOFTWARE (SBES), 20. , 2006, Florianópolis. Anais [...]. Porto Alegre: Sociedade Brasileira de Computação, 2006 . p. 97-112. DOI: https://doi.org/10.5753/sbes.2006.21207.