Using Process Mining to Analyze Time Distribution of Self-Assessment and Formative Assessment Exercises on an Online Learning Tool | IEEE Journals & Magazine | IEEE Xplore