Process Mining and Verification of Properties: An Approach Based on Temporal Logic. - Wil M. P. van der Aalst; H. T. de Beer; Boudewijn F. van Dongen (OTM Conferences (1), 2005)