Pragmatic model checking: from theory to implementations Where did I go wrong? Explaining errors in process models Decidability Results for Choreography Realization Artifact-centric modeling using BPMN Compliance by Design for Artifact-Centric Business Processes Verification with LoLA: 7 Implementation
Verification with LoLA: 6 Integrating LoLA
Verification with LoLA: 5 Case Studies
Verification with LoLA: 4 Using LoLA
Verification with LoLA: 3 State Space Reduction
Verification with LoLA: 1 Basics Verification with LoLA: 2 The LoLA Input Language Ws4 dsec talk @ Kickoff RS3 
