Automated analysis for process compliance - Mariana Gaspar Oliveira (2018)