W. Lopes de Souza and S. Stiubiener, “Especificação, Verificação e Testes de Protocolos<br />DOI: 10.14209/jcis.1988.1”, Journal of Communication and Information Systems, vol. 3, no. 1, Jun. 2015.