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>Proceedings of the 8th Brazilian Symposium on Information and Computational Systems Security</em>, (pp. 157-170). Porto Alegre: SBC.
doi:10.5753/sbseg.2008.20895