L. Michelon, S. Costa, and L. Ribeiro.
"Specification of Real-Time Systems with Graph Grammars", in <em>Anais do XX Simpósio Brasileiro de Engenharia de Software</em>, Florianópolis, 2006, pp. 97-112, doi: <a href="https://doi.org/10.5753/sbes.2006.21207">https://doi.org/10.5753/sbes.2006.21207</a>.