ProDiGen: Mining complete, precise and minimal structure process models with a genetic algorithm | Publicación