Martina, Jean, AND 		Boal, Luiz.
" Uma Análise Formal Automatizada dos Protocolos de Envio e Confirmação de Processamento da Nota Fiscal Eletrônica Brasileira" <em>Proceedings of the Brazilian Symposium on Cybersecurity (SBSeg)</em> [Online], (1 September 2008)