Leonardo Michelon, Simone Costa, and Leila Ribeiro. 2006.
Specification of Real-Time Systems with Graph Grammars. In Proceedings of the 20th Brazilian Symposium on Software Engineering, October 16, 2006, Florianópolis, Brasil. SBC, Porto Alegre, Brasil, 97-112. DOI: https://doi.org/10.5753/sbes.2006.21207.