Data-Driven Process Discovery and Analysis - Cudre-Mauroux (Springer Berlin Heidelberg, 2013)