Castro, Marcos Alexandre, Souza Jr, Nelson, Escovedo, Tatiana, Lopes, Helio, AND Kalinowski, Marcos. " Process Mining Applied to Internal Audit in the Brazilian Navy" Proceedings of the Brazilian Symposium on Databases (SBBD) [Online], (19 September 2022)