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>Anais do VIII Simpósio Brasileiro de Segurança da Informação e de Sistemas Computacionais,
Gramado, 2008</em>. SBC, 2008,  
pp.157-170.