Business Process Mining Course - Lecture 4: Automated Process Discovery