Michelon, Leonardo, 		Costa, Simone, AND 		Ribeiro, Leila.
" Specification of Real-Time Systems with Graph Grammars" <em>Proceedings of the Brazilian Symposium on Software Engineering (SBES)</em> [Online], (16 October 2006)