Paul N. Taylor, Marcello Leida, Basim Majeed: Case Study in Process Mining in a Multinational Enterprise. SIMPDA 2011: 134-153