Process Mining - van der Aalst (Springer Berlin Heidelberg, 2016)