{Process Mining and Verification of Properties: An Approach based on Temporal Logic}