A Temporal Logic-Based Measurement Framework for Process Mining