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