Michelon, L., Costa, S., & Ribeiro, L. (2006). Specification of Real-Time Systems with Graph Grammars. In Proceedings of the 20th Brazilian Symposium on Software Engineering, (pp. 97-112). Porto Alegre: SBC. doi:10.5753/sbes.2006.21207