Fraud Detection in Mobile Payments Utilizing Process Behavior Analysis
Formalization and Verification of Event-driven Process Chains