1. Documents associated with business process model and notation™ (BPMN™) version 2.0, [Online];Group,2011
2. Efficient compliance checking using BPMN-q and temporal logic;Awad,2008
3. Process Mining Manifesto;van der Aalst,2012
4. Process Mining and Verification of Properties: An Approach Based on Temporal Logic;van der Aalst,2005
5. Conformance checking of processes based on monitoring real behavior;Rozinat;Inf. Syst.,2008