Martina, J., & 		Boal, L.
(2008).
Uma Análise Formal Automatizada dos Protocolos de Envio e Confirmação de Processamento da Nota Fiscal Eletrônica Brasileira.
In <em>Anais do VIII Simpósio Brasileiro de Segurança da Informação e de Sistemas Computacionais</em>, (pp. 157-170). Porto Alegre: SBC.
doi:10.5753/sbseg.2008.20895