Process mining for semantic business process modeling. - Florian Lautenbacher; Bernhard Bauer 001; S. Forg (EDOCW, 2009)