L. Pirmez, A. Pedroza, and A. Mesquita, “Síntese de Alto Nível de Protocolos de Comunicação Especificados na Linguagem Formal Estelle Usando o Ambiente Amical<br />DOI: 10.14209/jcis.1997.7”, Journal of Communication and Information Systems, vol. 12, no. 1, Jun. 2015.