Using Process Mining to Analyze Time Distribution of Self-Assessment and Formative Assessment Exercises on an Online Learning Tool | Publicación