Michelon, Leonardo, Costa, Simone, E Ribeiro, Leila. " Specification of Real-Time Systems with Graph Grammars" Anais do SimpĆ³sio Brasileiro de Engenharia de Software (SBES) [Online], (16 outubro 2006)