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