Michelon, Leonardo, Simone André da Costa, and Leila Ribeiro.
"Specification of Real-Time Systems with Graph Grammars." <em>Anais do XX Simpósio Brasileiro de Engenharia de Software,
Florianópolis, 2006</em>. SBC, 2006,  
pp.97-112.