ACM - Normas
Huib Aldewereld
Virginia Dignum
Yao-Hua Tan
Jie Jiang
ACM Transactions on Management Information Systems
Conformance checking of processes based on monitoring real behavior
Where Did I Misbehave? Diagnostic Information in Compliance Checking
Properties, analysis and applications
Declarative process mining
Normative System Specification
Compliance by design for artifact-centric business processes