Data-driven process discovery and analysis Second IFIP WG 2.6, 2.12 International Symposium, SIMPDA 2012, Campione D'Italia, Italy, June 18-20, 2012 ; revised selected papers (Springer, 2013)