Martina, J., & 		Boal, L.
2008 set  1.  Uma Análise Formal Automatizada dos Protocolos de Envio e Confirmação de Processamento da Nota Fiscal Eletrônica Brasileira. Anais do Simpósio Brasileiro de Segurança da Informação e de Sistemas Computacionais (SBSeg). [Online] :