Castro, Marcos Alexandre, Nelson Souza Jr, Tatiana Escovedo, Helio Lopes, and Marcos Kalinowski. " Process Mining Applied to Internal Audit in the Brazilian Navy." Proceedings of the 37th Brazilian Symposium on Databases, Búzios, 2022. SBC, 2022, pp.241-253.