Definition and Validation of Process Mining Use Cases. - Irina Ailenei; Anne Rozinat; Albert Eckert; Wil M. P. van der Aalst (Business Process Management Workshops (1), 2011)