Barboza, Thais, Flavia Maria Santoro, Kate Cerqueira Revoredo, and Rosa M.M. Costa. " A Case Study of Process Mining in Auditing." Proceedings of the 15th Brazilian Symposium on Information Systems, Aracajú, 2019. SBC, 2019, pp.247-254.