Martina, Jean, and Luiz Augusto Chaves Boal.
" Uma Análise Formal Automatizada dos Protocolos de Envio e Confirmação de Processamento da Nota Fiscal Eletrônica Brasileira." <em>Proceedings of the 8th Brazilian Symposium on Information and Computational Systems Security,
Gramado, 2008</em>. SBC, 2008,  
pp.157-170.