Michelon, L., 		Costa, S., & 		Ribeiro, L.
2006 out 16.  Specification of Real-Time Systems with Graph Grammars. Anais do Simpósio Brasileiro de Engenharia de Software (SBES). [Online] :